traverse_inner_expressions
==========================

.. currentmodule:: proveit

.. autofunction:: traverse_inner_expressions