[Merged by Bors] - feat: support coercions in the differential geometry elaborators#30307
Closed
grunweg wants to merge 22 commits into
Closed
[Merged by Bors] - feat: support coercions in the differential geometry elaborators#30307grunweg wants to merge 22 commits into
grunweg wants to merge 22 commits into
Commits
Commits on Oct 8, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 9, 2025
- andauthored
Commits on Oct 10, 2025
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
Commits on Oct 14, 2025
- committed
- committed
- andauthored
- andauthored
- committed
