Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.map_roots_le_of_injective

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.map_roots_le_of_injective View on Github →