Theorem NNReal.rpow_add_one

Modification history