Theorem Real.rpow_nonneg

Modification history