Theorem Real.log_abs

Modification history