Theorem Polynomial.exists_finset_of_splits

Modification history