Theorem Real.log_rpow

Modification history