AngouriMath
Rule
Property
Summary
Which single rewrite in that set did it, where the set is addressable at that grain —
see Rules. Null where it is not.
see Rules. Null where it is not.
Remarks
This is the grain
#28 asks for: a
derivation that names the identity applied, rather than the group of identities it
was filed under.
#28 asks for: a
derivation that names the identity applied, rather than the group of identities it
was filed under.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online