Theorem Real.div_rpow

Modification history