Theorem Polynomial.separable_def

Modification history