LessEq
======

.. currentmodule:: proveit.numbers

.. autoclass:: LessEq
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~LessEq.known_left_sides
      ~LessEq.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~LessEq.add
      ~LessEq.add_left
      ~LessEq.add_right
      ~LessEq.apply_transitivity
      ~LessEq.conclude_via_equality
      ~LessEq.deduce_in_bool
      ~LessEq.derive_negated
      ~LessEq.derive_shifted
      ~LessEq.divide_both_sides
      ~LessEq.exponentiate_both_sides
      ~LessEq.left_add_both_sides
      ~LessEq.left_mult_both_sides
      ~LessEq.remake_constructor
      ~LessEq.reversed_operator_str
      ~LessEq.right_add_both_sides
      ~LessEq.right_mult_both_sides
      ~LessEq.unfold

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_left_sides
   .. autoattribute:: known_right_sides

   .. rubric:: Methods Documentation

   .. automethod:: add
   .. automethod:: add_left
   .. automethod:: add_right
   .. automethod:: apply_transitivity
   .. automethod:: conclude_via_equality
   .. automethod:: deduce_in_bool
   .. automethod:: derive_negated
   .. automethod:: derive_shifted
   .. automethod:: divide_both_sides
   .. automethod:: exponentiate_both_sides
   .. automethod:: left_add_both_sides
   .. automethod:: left_mult_both_sides
   .. automethod:: remake_constructor
   .. automethod:: reversed_operator_str
   .. automethod:: right_add_both_sides
   .. automethod:: right_mult_both_sides
   .. automethod:: unfold