Theorem Real.rpow_pos_of_pos

Modification history