theorem :: SIN_COS2:38

for p being Real holds sinh is_continuous_in p by Th31, FDIFF_1:24;