Theorem Real.sinh_lt_self_iff

Modification history