Theorem Polynomial.separable_one

Modification history