Theorem ENNReal.toNNReal_rpow

Modification history