Theorem Polynomial.rootMultiplicity_eq_multiplicity

Modification history

2024-10-16 04:43
Mathlib/Algebra/Polynomial/Div.lean
refactor(RingTheory/Multiplicity): split to Nat-valued `multiplicity` and ENat-valued `emultiplicity` (#16881) …
Modified Polynomial.rootMultiplicity_eq_multiplicityView on Github →
2023-10-18 07:22
Mathlib/Data/Polynomial/Div.lean
refactor(Data/Polynomial): remove `open Classical` (#7706) …
Modified Polynomial.rootMultiplicity_eq_multiplicityView on Github →
2023-03-19 06:36
Mathlib/Data/Polynomial/Div.lean
feat: port Data.Polynomial.Div (#2975)
Added Polynomial.rootMultiplicity_eq_multiplicityView on Github →