Theorem Lean.Meta.NormNum.ofNat_mul

Modification history