Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.map_roots_le

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