Theorem Real.rpow_le_rpow_of_exponent_ge'

Modification history