Theory of proveit.numbers.ordering

Provide description here.

import proveit
%theory

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

All axioms contained within this theory

proveit.numbers.ordering.less_eq_def

proveit.numbers.ordering.transitivity_less_less

proveit.numbers.ordering.max_def_unary

proveit.numbers.ordering.min_def_unary

proveit.numbers.ordering.max_def_bin

proveit.numbers.ordering.min_def_bin

proveit.numbers.ordering.max_def_multi

proveit.numbers.ordering.min_def_multi