Theorem Polynomial.Splits.multisetProd

Modification history

2025-11-21 12:10

Mathlib/Algebra/Polynomial/Factors.lean

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

Added Polynomial.Splits.multisetProd View on Github →