proveit.logic
proveit.numbers.ordering.transitivity_less_less_eq
proveit.numbers.ordering.relax_less