feat: ContinuousLinearMap.pi as a continuous linear equivalence#37435
Open
ADedecker wants to merge 16 commits intoleanprover-community:masterfrom
Open
feat: ContinuousLinearMap.pi as a continuous linear equivalence#37435ADedecker wants to merge 16 commits intoleanprover-community:masterfrom
ADedecker wants to merge 16 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 31, 2026
Commits on Apr 3, 2026
Commits on Apr 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
