Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.comap_eq_id_of_eq_id

Modification history

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