Theorem Ideal.AlgHom.ker_coe

Modification history

2025-03-01 19:47
Mathlib/RingTheory/Ideal/Maps.lean
chore: make commands start at the start of a line (#22441) …
Deleted Ideal.AlgHom.ker_coeView 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 Ideal.AlgHom.ker_coeView on Github →