Theorem exists₂_imp

Modification history

2024-09-03 05:37

Mathlib/Logic/Basic.lean

chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#16433)

Deleted exists₂_imp View on Github →

2024-04-08 10:17

Mathlib/Logic/Basic.lean

chore: remove more `bex` and `ball` from lemma names (#11615) …

Added exists₂_imp View on Github →