Theorem Mathlib.Meta.NormNum.isNat_rawNat

Modification history