Theorem
=======

.. currentmodule:: proveit

.. autoclass:: Theorem
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Theorem.all_theorems

   .. rubric:: Methods Summary

   .. autosummary::

      ~Theorem.all_dependents
      ~Theorem.all_requirements
      ~Theorem.all_used_theorem_names
      ~Theorem.direct_dependents
      ~Theorem.get_link
      ~Theorem.get_presumptions_and_exclusions
      ~Theorem.has_proof
      ~Theorem.is_conjecture
      ~Theorem.is_fully_proven
      ~Theorem.remove_proof
      ~Theorem.step_type
      ~Theorem.theorem_name_and_containing_theories
      ~Theorem.update_usability
      ~Theorem.used_theorems

   .. rubric:: Attributes Documentation

   .. autoattribute:: all_theorems

   .. rubric:: Methods Documentation

   .. automethod:: all_dependents
   .. automethod:: all_requirements
   .. automethod:: all_used_theorem_names
   .. automethod:: direct_dependents
   .. automethod:: get_link
   .. automethod:: get_presumptions_and_exclusions
   .. automethod:: has_proof
   .. automethod:: is_conjecture
   .. automethod:: is_fully_proven
   .. automethod:: remove_proof
   .. automethod:: step_type
   .. automethod:: theorem_name_and_containing_theories
   .. automethod:: update_usability
   .. automethod:: used_theorems