Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-05 19:03 c2ed7dcc

View on Github →

feat(logic/basic): ite p a b is equal to a or b (#8557)

Estimated changes

added theorem ite_eq_or_eq