AngouriMath

Navigation

← Back to list of members

#ctor​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

 Method (no overloads)

Summary

exists! x in S : P: exactly one member of S satisfies P, which is
exists x in S : P and forall y in S : P(y) implies y = x. See Quantifier.

























Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5057 pages online