Theorem NNReal.rpow_one

Modification history