feat: UniformConvergenceCLM version of ContinuousLinearEquiv.arrowCongr#37439
Open
ADedecker wants to merge 9 commits intoleanprover-community:masterfrom
Open
feat: UniformConvergenceCLM version of ContinuousLinearEquiv.arrowCongr#37439ADedecker wants to merge 9 commits intoleanprover-community:masterfrom
ADedecker wants to merge 9 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 31, 2026
Commits on Apr 3, 2026
- committed
- committed