Theorem NNReal.rpow_add_one'

Modification history