Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.comap_equiv_coe

Modification history

2020-09-18 11:37
src/data/mv_polynomial/comap.lean
feat(data/mv_polynomial): define comap (#4161) …
Added mv_polynomial.comap_equiv_coeView on Github →