Theorem Real.rpow_nonneg_of_nonneg

Modification history