Commit 2021-12-15 18:05 dc732a3c
View on Github →feat(logic/basic): When an If-Then-Else is not one of its arguments (#10800)
Conditions for ite P a b ≠ a and ite P a b ≠ b.
feat(logic/basic): When an If-Then-Else is not one of its arguments (#10800)
Conditions for ite P a b ≠ a and ite P a b ≠ b.