AngouriMath
Symbolics for .NET
Table of contents
Home page
Quick start
Wiki
Almanac
Research
What's new
Try online
GitHub
Report a bug
Contacts
AngouriMath
Navigation
Home
Quick start
Wiki
Almanac
Research
What's new
Try
Use
Angouri.org
GitHub
Report a bug
Contacts
← 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