Theorem AlgHom.ker_rangeRestrict

Modification history

2024-04-20 13:53
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
chore(Algebra/Algebra): split `Subalgebra.Basic` (#12267) …
Modified AlgHom.ker_rangeRestrictView on Github →
2024-03-19 20:08
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
chore: tidy various files (#11490)
Modified AlgHom.ker_rangeRestrictView on Github →
2024-02-28 07:39
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
feat(Mathlib/RingTheory/Ideal/QuotientOperations): First Isomorphism Theorem for algebras (#11027) …
Added AlgHom.ker_rangeRestrictView on Github →