Theorem NNReal.rpow_sub_natCast

Modification history