Axiom
=====

.. currentmodule:: proveit

.. autoclass:: Axiom
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Axiom.all_dependents
      ~Axiom.direct_dependents
      ~Axiom.get_link
      ~Axiom.step_type
      ~Axiom.used_axioms

   .. rubric:: Methods Documentation

   .. automethod:: all_dependents
   .. automethod:: direct_dependents
   .. automethod:: get_link
   .. automethod:: step_type
   .. automethod:: used_axioms