Theorem NNReal.rpow_add_natCast

Modification history