AngouriMath

Navigation

Impliesf


← Back to list of classes

Description

Summary

Is true iff assumption is false or conclusion is true

Members

























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