Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat(geometry): first stab on Lie groups #3529
[Merged by Bors] - feat(geometry): first stab on Lie groups #3529
Changes from all commits
03df6e2
80b9cab
d8ad078
56d2716
da64672
53b8e04
fee8ca8
dc6197b
b807d94
4652e8a
20866d7
99cee94
ac6c3ba
c8f1304
f31adad
fd3efc7
a9bdde6
46af74b
f5abebf
3f5fa6d
ee83faa
37a21d4
629ad00
ee812a2
283dd6e
fcb4714
8e358bc
a8ef625
2bfd38d
81c590d
4fd7e93
d99d42e
2e49c6e
9bbf9b3
4ebee58
0cedba6
10142d0
ddd0b02
0a73ef2
485debf
726ed6c
1503909
b17d3d5
6a7aeba
34fd3b9
92fe915
652e523
9c32b00
d6eb4ff
41d4149
3ceb3e9
82f3a0d
2a1abc6
c81540a
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing