Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.ker_map_ring_hom

Modification history

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 polynomial.ker_map_ring_hom View on Github →