Theorem AlgHom.rangeRestrict_surjective

Modification history

2024-03-19 20:08
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
chore: tidy various files (#11490)
Modified AlgHom.rangeRestrict_surjectiveView 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.rangeRestrict_surjectiveView on Github →