Theorem Polynomial.splits_of_exists_multiset

Modification history

2025-12-04 09:22

Mathlib/Algebra/Polynomial/Splits.lean

refactor(Algebra/Polynomial/Splits): continue deprecation (#32409) …

Deleted Polynomial.splits_of_exists_multiset View on Github →

2023-03-27 15:03

Mathlib/Data/Polynomial/Splits.lean

feat: port Data.Polynomial.Splits (#3107)

Added Polynomial.splits_of_exists_multiset View on Github →