Theorem Real.rpow_def_of_nonneg

Modification history