Theorem Polynomial.separable_prod'

Modification history