single_or_composite_expression
==============================

.. currentmodule:: proveit

.. autofunction:: single_or_composite_expression