Theorem NNReal.rpow_one_sub'

Modification history