InnerExpr
=========

.. currentmodule:: proveit

.. autoclass:: InnerExpr
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~InnerExpr.cur_sub_expr
      ~InnerExpr.evaluate_operands
      ~InnerExpr.register_equivalence_method
      ~InnerExpr.repl_lambda
      ~InnerExpr.simplify_operands
      ~InnerExpr.substitute
      ~InnerExpr.substitution

   .. rubric:: Methods Documentation

   .. automethod:: cur_sub_expr
   .. automethod:: evaluate_operands
   .. automethod:: register_equivalence_method
   .. automethod:: repl_lambda
   .. automethod:: simplify_operands
   .. automethod:: substitute
   .. automethod:: substitution