AngouriMath
Simplified(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity,System.Boolean)
Method (no overloads)
Summary
The body simplified with the facts in scope: a claim made under a hypothesis with the
conjuncts of the hypothesis in scope as well, and the hypothesis itself with only the
facts from outside it.
conjuncts of the hypothesis in scope as well, and the hypothesis itself with only the
facts from outside it.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online