Theorem imp_and_neg_imp_iff

Modification history

2026-02-13 13:12
Mathlib/Logic/Basic.lean
chore: deprecate aliases of Classical lemmas (#34625) …
Modified imp_and_neg_imp_iffView on Github →
2024-05-02 13:42
Mathlib/Logic/Basic.lean
chore: move to v4.8.0-rc1 (#12548) …
Modified imp_and_neg_imp_iffView on Github →
2023-10-03 10:19
Mathlib/Logic/Basic.lean
feat: lemmas about equiv and logic (#7338) …
Added imp_and_neg_imp_iffView on Github →