Theorem Bool.toNat_le_one

Modification history

2023-11-30 23:41

Mathlib/Data/Bool/Basic.lean

chore: bump Std, changes for leanprover/std4#366 (#8700) …

Deleted Bool.toNat_le_one View on Github →

2023-11-11 09:59

Mathlib/Data/Bool/Basic.lean

feat: lemmas about `Bool.toNat` (#8328)

Added Bool.toNat_le_one View on Github →