AngouriMath
ComparisonEntails(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
Two comparisons of the same expression against numbers: a > 2 forces
a > 1 , and a >= 2 forces a > 1 , but not the other way
about. Both are read into the same shape first, so that1 < a and
a > 1 are the one statement they are.
about. Both are read into the same shape first, so that
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online