Theorem deriv_csin

Modification history