Theorem NNReal.rpow_ofNat

Modification history