Theorem Polynomial.divByMonic_add_X_Sub_C_mul_derivate_divByMonic_eq_derivative

Modification history