Theorem Mathlib.Meta.NormNum.isNat_mul

Modification history