Theorem fderiv_sin

Modification history