Theorem Real.mul_rpow

Modification history