Theorem Lean.Meta.NormNum.isNat_add

Modification history