expression_depth
================

.. currentmodule:: proveit

.. autofunction:: expression_depth