Theorem NNReal.rpow_sub

Modification history