equality_prover
===============

.. currentmodule:: proveit

.. autofunction:: equality_prover