Theorem Mathlib.Meta.NormNum.isNat_natCast

Modification history