Theorem fderiv_sinh

Modification history