[Merged by Bors] - feat(Algebra/Module/Submodule/Ker): restricting a linear map to its kernel#39658

faenuccio wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

faenuccio:fae_domRestrict_kerfaenuccio/fae_mathlib4:fae_domRestrict_kerCopy head branch name to clipboard