AngouriMath

Navigation

← Back to list of members

PushNotInside​(System.​Collections.​Generic.​IEnumerable{AngouriMath.​Entity},​System.​Boolean)

 Method (no overloads)

Summary

De Morgan: the negation of each operand, joined by the dual connective. Written once
and asked by both the switch and MatchedRules.InequalityEquality, because
it is a fold over a chain of any length rather than a shape, and a pattern says shapes.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online