AngouriMath
OneOfTheListedIsIn(AngouriMath.Entity.Set,AngouriMath.Entity.Set)
Method (no overloads)
Summary
That one of the listed solutions is in the set, where the facts in scope read each
membership as a comparison, ornull . The body holds exactly at its
solutions, so there is a member where it holds exactly when one of them is a member:
Sullivan and Mackey's Prob 4.11.6,exists z in ZZ* : x - y = z or y - x = z for
wholex and y , is x - y >= 0 or y - x >= 0 , which the quantifiers
overx and y then decide.
membership as a comparison, or
solutions, so there is a member where it holds exactly when one of them is a member:
Sullivan and Mackey's Prob 4.11.6,
whole
over
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online