AngouriMath
DeclaredMembership
Property
Summary
The membership a set builder was written with, { x in S : p } , and the
rest of its predicate;null where it was written { x : p } .
rest of its predicate;
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online