deduce_equal_or_not
===================

.. currentmodule:: proveit.logic

.. autofunction:: deduce_equal_or_not