AngouriMath
NonEmpty(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
That the range from from to to is not empty,
to >= from - 1 , as AtLeast(AngouriMath.Entity,AngouriMath.Entity) writes it: n - 1 >= -1 is
n >= 0 .
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online