Theorem Polynomial.not_separable_zero

Modification history