Theorem NNReal.rpow_neg

Modification history