Theorem exists_or_forall_not

Modification history

2025-07-29 03:01
Mathlib/Logic/Basic.lean
chore: some whitespace fixes (#27485) …
Modified exists_or_forall_notView on Github →
2023-10-05 13:18
Mathlib/Logic/Basic.lean
feat: add `forall_or_exists_not` and `exists_or_forall_not` (#7458)
Added exists_or_forall_notView on Github →