Theory of
proveit
.
numbers
.ordering
ΒΆ
Provide description here.
In [1]:
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
