Theorem Bool.toNat_bne_zero

Modification history

2025-10-19 14:27
Mathlib/Data/Bool/Basic.lean
chore: miscellaneous linter whitespace fixes (#30663) …
Modified Bool.toNat_bne_zeroView on Github →
2023-11-11 09:59
Mathlib/Data/Bool/Basic.lean
feat: lemmas about `Bool.toNat` (#8328)
Added Bool.toNat_bne_zeroView on Github →