Theorem Real.log_pow

Modification history