total_ordering

proveit.total_ordering(\*relations, prove=False)

Return a conjunction of relations in the total ordering style. For example, “a > b >= c = d > e” is a total ordering style for “(a > b) and (b >= c) and (c = d) and (d > e)”. If there is a single relation, just return the relation. If ‘prove’ is True, return a proven Judgment.