Theorem Real.log_mul

Modification history