Theorem Bool.exists_bool

Modification history

2024-09-03 05:37

Mathlib/Data/Bool/Basic.lean

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

Deleted Bool.exists_bool View on Github →

2022-11-07 03:12

Mathlib/Data/Bool/Basic.lean

feat: port data.bool.basic (#534) …

Added Bool.exists_bool View on Github →