Theorem RingHom.ker_evalRingHom

Modification history

2025-12-20 21:16
Mathlib/RingTheory/Ideal/Maps.lean
feat(RingTheory/FinitePresentation): a finite product of finitely presented algebras is finitely presented (#32758) …
Added RingHom.ker_evalRingHomView on Github →