composite_expression
====================

.. currentmodule:: proveit

.. autofunction:: composite_expression