Theorem NNReal.rpow_self_rpow_inv

Modification history