AngouriMath
Closed(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity.Set,AngouriMath.Entity)
Method (no overloads)
Summary
A body that does not mention the variable says the same of every member, so the
statement is the body wherever the set has a member -- and over the empty set every
member satisfies anything and none satisfies something.
statement is the body wherever the set has a member -- and over the empty set every
member satisfies anything and none satisfies something.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online