Theorem Mathlib.Meta.NormNum.IsInt.to_isNat

Modification history