Skip to content

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

Closed
faenuccio wants to merge 2 commits into
leanprover-community:masterfrom
faenuccio:fae_domRestrict_ker
Closed

[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:masterfrom
faenuccio:fae_domRestrict_ker

Apply suggestion from @faenuccio

ff0d132
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 21, 2026 in 1m 36s