Assumption
==========

.. currentmodule:: proveit

.. autoclass:: Assumption
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Assumption.all_assumptions

   .. rubric:: Methods Summary

   .. autosummary::

      ~Assumption.make_assumption
      ~Assumption.step_type

   .. rubric:: Attributes Documentation

   .. autoattribute:: all_assumptions

   .. rubric:: Methods Documentation

   .. automethod:: make_assumption
   .. automethod:: step_type