auto_equality_prover
====================

.. currentmodule:: proveit

.. autofunction:: auto_equality_prover