Theorem deriv_sub

Modification history