Theorem Real.sinh_log

Modification history