Mathlib v3 is deprecated. Go to Mathlib v4

Theorem dec_em'

Modification history

2021-05-15 21:20
src/logic/basic.lean
feat(data/logic/basic): `em.swap` and `eq_or_ne` (#7561)
Added dec_em'View on Github →