compose
=======

.. currentmodule:: proveit.logic

.. autofunction:: compose