:: deftheorem defines sinh SIN_COS2:def 2 :
for d being object holds sinh d = sinh . d;