TrueLiteral
===========

.. currentmodule:: proveit.logic

.. autoclass:: TrueLiteral
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~TrueLiteral.conclude
      ~TrueLiteral.deduce_in_bool
      ~TrueLiteral.eval_equality
      ~TrueLiteral.not_equal

   .. rubric:: Methods Documentation

   .. automethod:: conclude
   .. automethod:: deduce_in_bool
   .. automethod:: eval_equality
   .. automethod:: not_equal