Theorem AlgHom.ker_coe_equiv

Modification history

2025-04-08 21:08
Mathlib/RingTheory/Ideal/Maps.lean
feat: generalize half of Mathlib.RingTheory (#23173) …
Modified AlgHom.ker_coe_equivView on Github →
2025-02-23 23:17
Mathlib/RingTheory/Ideal/Maps.lean
chore: add AlgHom.ker_coe_equiv, resolve porting notes and erws (#22019)
Added AlgHom.ker_coe_equivView on Github →