auto_relation_prover
====================

.. currentmodule:: proveit

.. autofunction:: auto_relation_prover