Theorem NNReal.rpow_left_surjective

Modification history