Theorem imp_and_neg_imp_iff

Modification history

2026-08-11 12:14
Mathlib/Logic/Basic.lean
chore: delete deprecated declarations/modules from January 2026 (#42075) …
Deleted imp_and_neg_imp_iffView on Github →
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 →