Theorem ENNReal.zero_rpow_of_neg

Modification history