Theorem Mathlib.Meta.NormNum.isNat_intOfNat

Modification history