Theorem deriv_abs

Modification history