Theorem Bool.toNat_bne_zero

Modification history

2023-11-11 09:59
Mathlib/Data/Bool/Basic.lean
feat: lemmas about `Bool.toNat` (#8328)
Added Bool.toNat_bne_zeroView on Github →