Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.card_roots_le_map

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