Theorem Bool.ofNat_add_one

Modification history

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