feat(Geometry/Manifold): continuously differentiable actions#38527
Open
archiebrowne wants to merge 17 commits intoleanprover-community:masterfrom
Open
feat(Geometry/Manifold): continuously differentiable actions#38527archiebrowne wants to merge 17 commits intoleanprover-community:masterfrom
archiebrowne wants to merge 17 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 25, 2026
- andcommitted
- committed
- committed
Commits on Apr 26, 2026
- authored
- andcommitted
- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- andauthored
- andauthored
- andauthored
- andcommitted
- committed
- committed
