Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_iff

Modification history

2020-08-17 13:59
src/logic/basic.lean
refactor(logic/basic): classical -> root, root -> decidable (#3812) …
Modified not_iffView on Github →
2019-09-10 09:32
src/logic/basic.lean
chore(topology): sanity_check pass (#1416) …
Modified not_iffView on Github →
2018-07-06 03:44
logic/basic.lean
feat(tactic/cache): split cache related tactics off from `tactic.interactive`
Added not_iffView on Github →