AngouriMath
ExhaustiveSigns(AngouriMath.Entity.ComparisonSign,AngouriMath.Entity.ComparisonSign)
Method (no overloads)
Two comparisons of one pair of operands that between them leave no case. Exactly one
of a < b, a = b and a > b holds on an ordered field, so a disjunction covering
all three is valid there -- and `<` with `>=` is how excluded middle for an
order comparison is usually written.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online