Theorem NNReal.rpow_sub_intCast'

Modification history