Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-23 16:32 bd164c7f

View on Github →

feat(data/polynomial/ring_division): add polynomial.card_le_degree_of_subset_roots (#10824)

Estimated changes