Theorem NNReal.continuousOn_rpow_const

Modification history