Less ==== .. currentmodule:: proveit.numbers .. autoclass:: Less :show-inheritance: .. rubric:: Attributes Summary .. autosummary:: ~Less.known_left_sides ~Less.known_right_sides .. rubric:: Methods Summary .. autosummary:: ~Less.add ~Less.add_left ~Less.add_right ~Less.apply_transitivity ~Less.conclude ~Less.conclude_via_equality ~Less.conclude_via_increase ~Less.deduce_dec_add ~Less.deduce_in_bool ~Less.deduce_inc_add ~Less.derive_relaxed ~Less.derive_shifted ~Less.divide_both_sides ~Less.exponentiate_both_sides ~Less.left_add_both_sides ~Less.left_mult_both_sides ~Less.remake_constructor ~Less.reversed_operator_str ~Less.right_add_both_sides ~Less.right_mult_both_sides .. 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 .. automethod:: conclude_via_equality .. automethod:: conclude_via_increase .. automethod:: deduce_dec_add .. automethod:: deduce_in_bool .. automethod:: deduce_inc_add .. automethod:: derive_relaxed .. 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