mathlib
3ef52f37 - chore(logic/basic): actually fixup `eq_or_ne` (#8015)

Commit

4 years ago

chore(logic/basic): actually fixup `eq_or_ne` (#8015) this lemma loves being broken...

Author

ericrbg

Parents