first_deriv_given.mod 1.13 KB