Theorem Real.one_lt_cosh

Modification history