Theorem ENNReal.prod_coe_rpow

Modification history