Theorem Real.rpow_sub

Modification history