Theorem Polynomial.splits_of_splits_mul'

Modification history