Theorem Real.range_log

Modification history