basic): add a lemma `polynomial_quotient_equiv_quotient_polynomial_map_mk` (#9542)

Commit

4 years ago

feat(ring_theory/polynomial/basic): add a lemma `polynomial_quotient_equiv_quotient_polynomial_map_mk` (#9542) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

Paul-Lez

Parents

26660331

mathlib 5b793197 - feat(ring_theory/polynomial/basic): add a lemma `polynomial_quotient_equiv_quotient_polynomial_map_mk` (#9542)

mathlib
5b793197 - feat(ring_theory/polynomial/basic): add a lemma `polynomial_quotient_equiv_quotient_polynomial_map_mk` (#9542)