Theorem NNReal.rpow_inv_rpow_self

Modification history