Theorem Polynomial.Splits.listProd

Modification history

2025-11-21 12:10

Mathlib/Algebra/Polynomial/Factors.lean

refactor(Algebra/Polynomial/Factors): rename `Factors` to `Splits` (#31878) …

Added Polynomial.Splits.listProd View on Github →