Theorem Real.exp_log

Modification history