Theorem Mathlib.Meta.NormNum.isNat_one

Modification history