Theorem Polynomial.separable_iff_derivative_ne_zero

Modification history