Theorem deriv_comp

Modification history