Theorem Mathlib.Meta.NormNum.isNat_intCast

Modification history