Theorem Bool.ofNat_zero

Modification history

2025-09-16 10:17
Mathlib/Data/Bool/Basic.lean
chore: grind annotations in Data/Bool (#29453)
Added Bool.ofNat_zeroView on Github →