Theorem deriv_sin

Modification history