Theorem NNReal.rpow_sub'

Modification history