AngouriMath
Rename(System.Int32,AngouriMath.Entity.Variable,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Writes the steps recorded since mark with from read as to : a quantifier decides under a name of its own while
facts are in scope (QuantifierFacts), and its steps
are written under the name it was given.
facts are in scope (QuantifierFacts), and its steps
are written under the name it was given.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online