Theorem NNReal.mul_rpow

Modification history