Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-05 10:10 5b793197

View on Github →

feat(ring_theory/polynomial/basic): add a lemma polynomial_quotient_equiv_quotient_polynomial_map_mk (#9542)

Estimated changes