theorem Th30: :: SIN_COS2:30

( dom sinh = REAL & dom cosh = REAL & dom tanh = REAL ) by FUNCT_2:def 1;