Theorem Real.sinh_neg_iff

Modification history