Theory
======

.. currentmodule:: proveit

.. autoclass:: Theory
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Theory.default
      ~Theory.special_expr_kind_to_module_name
      ~Theory.storages

   .. rubric:: Methods Summary

   .. autosummary::

      ~Theory.append_sub_theory_name
      ~Theory.clean_active_folder
      ~Theory.contains_any_expression
      ~Theory.expression_notebook
      ~Theory.extract_markdowntitle_of_notebook
      ~Theory.find_axiom
      ~Theory.find_theorem
      ~Theory.generate_all_contained_axioms
      ~Theory.generate_local_axioms
      ~Theory.generate_sub_theories
      ~Theory.get_axiom
      ~Theory.get_axiom_names
      ~Theory.get_common_expr
      ~Theory.get_common_expression_names
      ~Theory.get_expression_axiom_and_theorem_names
      ~Theory.get_expression_axiom_or_theorem_kind
      ~Theory.get_path
      ~Theory.get_show_proof
      ~Theory.get_stored_axiom
      ~Theory.get_stored_expr
      ~Theory.get_stored_judgment_or_proof
      ~Theory.get_stored_stmt
      ~Theory.get_stored_theorem
      ~Theory.get_sub_theory_names
      ~Theory.get_theorem
      ~Theory.get_theorem_names
      ~Theory.get_theory
      ~Theory.is_root
      ~Theory.links
      ~Theory.proof_notebook
      ~Theory.reference_hyperlinked_objects
      ~Theory.set_active_folder
      ~Theory.set_sub_theory_names
      ~Theory.stash_extraneous_thm_proof_notebooks
      ~Theory.stored_common_expr_dependencies
      ~Theory.thm_proof_notebook
      ~Theory.update_proving_name_if_needed
      ~Theory.update_title_if_needed

   .. rubric:: Attributes Documentation

   .. autoattribute:: default
   .. autoattribute:: special_expr_kind_to_module_name
   .. autoattribute:: storages

   .. rubric:: Methods Documentation

   .. automethod:: append_sub_theory_name
   .. automethod:: clean_active_folder
   .. automethod:: contains_any_expression
   .. automethod:: expression_notebook
   .. automethod:: extract_markdowntitle_of_notebook
   .. automethod:: find_axiom
   .. automethod:: find_theorem
   .. automethod:: generate_all_contained_axioms
   .. automethod:: generate_local_axioms
   .. automethod:: generate_sub_theories
   .. automethod:: get_axiom
   .. automethod:: get_axiom_names
   .. automethod:: get_common_expr
   .. automethod:: get_common_expression_names
   .. automethod:: get_expression_axiom_and_theorem_names
   .. automethod:: get_expression_axiom_or_theorem_kind
   .. automethod:: get_path
   .. automethod:: get_show_proof
   .. automethod:: get_stored_axiom
   .. automethod:: get_stored_expr
   .. automethod:: get_stored_judgment_or_proof
   .. automethod:: get_stored_stmt
   .. automethod:: get_stored_theorem
   .. automethod:: get_sub_theory_names
   .. automethod:: get_theorem
   .. automethod:: get_theorem_names
   .. automethod:: get_theory
   .. automethod:: is_root
   .. automethod:: links
   .. automethod:: proof_notebook
   .. automethod:: reference_hyperlinked_objects
   .. automethod:: set_active_folder
   .. automethod:: set_sub_theory_names
   .. automethod:: stash_extraneous_thm_proof_notebooks
   .. automethod:: stored_common_expr_dependencies
   .. automethod:: thm_proof_notebook
   .. automethod:: update_proving_name_if_needed
   .. automethod:: update_title_if_needed