Theorem deriv_one

Modification history