Skip to content

[Merged by Bors] - feat(Topology/Algebra): use Is*Apply for ContinuousLinearMap#39637

Closed
mcdoll wants to merge 37 commits into
leanprover-community:masterfrom
mcdoll:IsApplyCLM
Closed

[Merged by Bors] - feat(Topology/Algebra): use Is*Apply for ContinuousLinearMap#39637
mcdoll wants to merge 37 commits into
leanprover-community:masterfrom
mcdoll:IsApplyCLM

Update Mathlib/Topology/Algebra/Module/ContinuousLinearMap/Basic.lean

3df4a86
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jun 10, 2026 in 1m 18s