theorem :: FUNCT_8:67

for A being symmetrical Subset of REAL holds sinh is_odd_on A