AngouriMath
Predicate
Property
Summary
What holds of Var exactly for the members of this set. A
membership written in the name position,{ x in S : p } , is the first
conjunct here: the set is{ x : x in S and p } , and prints as it was
written.
membership written in the name position,
conjunct here: the set is
written.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online