Lambda
======

.. currentmodule:: proveit

.. autoclass:: Lambda
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Lambda.apply
      ~Lambda.compose
      ~Lambda.extract_argument
      ~Lambda.extract_arguments
      ~Lambda.global_repl
      ~Lambda.latex
      ~Lambda.relabeled
      ~Lambda.remake_arguments
      ~Lambda.string

   .. rubric:: Methods Documentation

   .. automethod:: apply
   .. automethod:: compose
   .. automethod:: extract_argument
   .. automethod:: extract_arguments
   .. automethod:: global_repl
   .. automethod:: latex
   .. automethod:: relabeled
   .. automethod:: remake_arguments
   .. automethod:: string