Commit 2021-11-04 13:04 de79226c
View on Github →feat(ring_theory/polynomial/basic): polynomial.ker_map_ring_hom and mv_polynomial.ker_map (#10160)
feat(ring_theory/polynomial/basic): polynomial.ker_map_ring_hom and mv_polynomial.ker_map (#10160)