Mathlib v3 is deprecated. Go to Mathlib v4

Theorem classical.iff_iff_not_or_and_or_not

Modification history

2020-08-17 13:59
src/logic/basic.lean
refactor(logic/basic): classical -> root, root -> decidable (#3812) …
Deleted classical.iff_iff_not_or_and_or_notView on Github →
2019-04-29 20:12
src/logic/basic.lean
refactor(tactic/interactive): remove dependencies of (#878) …
Modified classical.iff_iff_not_or_and_or_notView on Github →
2019-04-17 11:03
src/logic/basic.lean
feat(tactic/omega): tactic for linear integer & natural number arithmetic (#827) …
Added classical.iff_iff_not_or_and_or_notView on Github →