Theorem deriv_ccos

Modification history