Theorem Real.exp_log_of_neg

Modification history