let A be non empty closed_interval Subset of REAL; :: thesis: cosh | A is continuous
cosh | REAL is continuous by FDIFF_1:25, SIN_COS2:35;
hence cosh | A is continuous by FCONT_1:16; :: thesis: verum