Theorem not_and_or
Modification history
2025-04-12 23:52
Mathlib/Logic/Basic.lean
fix: remove undercover `open Classical`s (#23750) …
Modified not_and_orView on Github →2025-04-03 05:22
Mathlib/Logic/Basic.lean
chore: bump toolchain to v4.19.0-rc2 (#23614)
Modified not_and_orView on Github →