Theorem Polynomial.splits_prod_iff

Modification history