Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-11 02:16 f157a372

View on Github →

chore(logic/basic): fixup eq_or_ne (#7865)

Estimated changes

Modified src/logic/basic.lean

modified theorem decidable.eq_or_ne

modified theorem decidable.ne_or_eq

modified theorem eq_or_ne

modified theorem ne_or_eq