Theorem NNReal.rpow_one_add'

Modification history