Theorem imp_iff_right_iff
Modification history
2025-04-12 23:52
Mathlib/Logic/Basic.lean
fix: remove undercover `open Classical`s (#23750) …
Modified imp_iff_right_iffView on Github →2024-05-02 13:42
Mathlib/Logic/Basic.lean
chore: move to v4.8.0-rc1 (#12548) …
Modified imp_iff_right_iffView on Github →