Theorem Mathlib.Meta.NormNum.isNat_ofNat

Modification history