Theorem Mathlib.Meta.NormNum.isNNRat_mul

Modification history