Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.le_root_multiplicity_iff

Modification history

2022-09-22 06:54

src/data/polynomial/ring_division.lean

feat(data/polynomial/ring_division): move lemmas, add lemmas (#16432) …

Added polynomial.le_root_multiplicity_iff View on Github →