Theorem Polynomial.splits_mul

Modification history

2025-10-24 19:16

Mathlib/Algebra/Polynomial/Splits.lean

refactor(Algebra/Polynomial/Splits): switch from `Splits` to `Factors` (#30284)

Modified Polynomial.splits_mul View on Github →

2023-03-27 15:03

Mathlib/Data/Polynomial/Splits.lean

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

Added Polynomial.splits_mul View on Github →