generate_inner_expressions
==========================

.. currentmodule:: proveit

.. autofunction:: generate_inner_expressions