[Merged by Bors] - feat: custom elaborators for differential geometry#27021
Closed
grunweg wants to merge 108 commits into
Closed
[Merged by Bors] - feat: custom elaborators for differential geometry#27021grunweg wants to merge 108 commits into
grunweg wants to merge 108 commits into
Commits
Commits on Sep 30, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 3, 2025
- committed
- committed
- committed
- committed
Commits on Oct 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- andauthored
- andauthored
- authored
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
Commits on Oct 7, 2025
- andauthored
- committed
- committed
- committed
- committed
- committed