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