Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.ker_map

Modification history

2022-06-23 20:16
src/ring_theory/polynomial/basic.lean
refactor(ring_theory): generalize basic API of `ring_hom` to `ring_hom_class` (#14756) …
Modified mv_polynomial.ker_mapView on Github →
2021-11-04 13:04
src/ring_theory/polynomial/basic.lean
feat(ring_theory/polynomial/basic): `polynomial.ker_map_ring_hom` and `mv_polynomial.ker_map` (#10160)
Added mv_polynomial.ker_mapView on Github →