Theorem NNReal.rpow_natCast

Modification history