Theorem NNReal.rpow_natCast_mul

Modification history