Theorem fderiv_cos

Modification history