Theorem NNReal.nnrpow_def

Modification history