Theorem fderiv_cosh

Modification history