Theorem NNReal.rpow_sub_one

Modification history