Forall
======

.. currentmodule:: proveit.logic

.. autoclass:: Forall
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Forall.known_instance_maps

   .. rubric:: Methods Summary

   .. autosummary::

      ~Forall.bundle
      ~Forall.bundle_equality
      ~Forall.conclude
      ~Forall.conclude_as_folded
      ~Forall.conclude_by_cases
      ~Forall.conclude_via_domain_inclusion
      ~Forall.deduce_in_bool
      ~Forall.do_reduced_evaluation
      ~Forall.instantiate
      ~Forall.side_effects
      ~Forall.unbundle
      ~Forall.unbundle_equality
      ~Forall.unfold

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_instance_maps

   .. rubric:: Methods Documentation

   .. automethod:: bundle
   .. automethod:: bundle_equality
   .. automethod:: conclude
   .. automethod:: conclude_as_folded
   .. automethod:: conclude_by_cases
   .. automethod:: conclude_via_domain_inclusion
   .. automethod:: deduce_in_bool
   .. automethod:: do_reduced_evaluation
   .. automethod:: instantiate
   .. automethod:: side_effects
   .. automethod:: unbundle
   .. automethod:: unbundle_equality
   .. automethod:: unfold