The resultant of a polynomial with its derivative is the evaluation of `discAffine` at its coefficients.

Initializing...

The resultant of a polynomial with its derivative is the evaluation of `discAffine` at its coefficients. · Prove2Me