Theorem MvPolynomial.ker_mapAlgHom

Modification history

2024-09-19 16:02
Mathlib/RingTheory/Polynomial/Basic.lean
feat(RingTheory): composition of presentations (#16727) …
Added MvPolynomial.ker_mapAlgHomView on Github →