Theorem NNReal.rpow_sub_natCast'

Modification history