Theorem Polynomial.mapRingHom_comp_C

Modification history

2025-02-04 06:00
Mathlib/Algebra/Polynomial/Eval/Defs.lean
feat(AlgebraicGeometry): integral = universally closed + affine (#19419) …
Modified Polynomial.mapRingHom_comp_CView on Github →
2024-11-17 16:01
Mathlib/Algebra/Polynomial/Eval/Defs.lean
feat(Polynomial): composing with the constant polynomial (#19090) …
Added Polynomial.mapRingHom_comp_CView on Github →