Theorem NNReal.div_rpow

Modification history