Theorem NNReal.rpow_mul

Modification history