Theorem NNReal.rpow_add_natCast'

Modification history