Theorem NNReal.rpow_two

Modification history