Skip to content

[Merged by Bors] - chore: split Topology.Algebra.Module.LinearMap#39612

Closed
ADedecker wants to merge 13 commits into
leanprover-community:masterfrom
ADedecker:AD_CLM_split_file
Closed

[Merged by Bors] - chore: split Topology.Algebra.Module.LinearMap#39612
ADedecker wants to merge 13 commits into
leanprover-community:masterfrom
ADedecker:AD_CLM_split_file

suggestions from review

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