Theorem NNReal.rpow_sub_intCast

Modification history