as_expressions
==============

.. currentmodule:: proveit

.. autofunction:: as_expressions