Theorem NNReal.rpow_left_injective

Modification history