Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-15 21:20 467d2b27

View on Github →

feat(data/logic/basic): em.swap and eq_or_ne (#7561)

Estimated changes

added theorem dec_em'
added theorem decidable.eq_or_ne
added theorem decidable.ne_or_eq
added theorem em'
modified theorem em
added theorem eq_or_ne
added theorem ne_or_eq
modified theorem or_not