Skip to content

feat(Topology/Algebra/Module/Spaces/CLM): linear map version of smulRightL - #43113

Open
themathqueen wants to merge 2 commits into
leanprover-community:masterfrom
themathqueen:smulRightl
Open

feat(Topology/Algebra/Module/Spaces/CLM): linear map version of smulRightL#43113
themathqueen wants to merge 2 commits into
leanprover-community:masterfrom
themathqueen:smulRightl

fix

c6f0c9d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Aug 25, 2026 in 3m 56s