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
The Burnside ring of a group #37991
base: develop
Are you sure you want to change the base?
The Burnside ring of a group #37991
Changes from all commits
8a5f1db
ce7c87f
2ae5497
663b422
b3f16ba
6f9cac4
bec9b0b
476218f
3d2a730
d49eb76
bf76e0d
dc1d95d
c271e60
1453c90
fa8b9f5
be11997
f39807c
d4af3fc
de3ccbc
d9e5aab
1a377f5
45361c3
b8da0e6
ac4bb20
8ecf26d
f617657
6ecbe83
bd55d15
2ce14a5
04ac9e9
3ca8861
6dd1b87
77136a3
1e0a707
9ffc003
4207aab
8c4b0e2
12a129b
053346c
9149023
9438800
afbdd9c
bd59d1e
a08c4a4
2900263
1e8ce44
125103d
f6690bd
6604d28
ad7d13f
36e6c02
5010e3f
1ae3ecc
ea2a88d
4ea2536
f7feea3
dccdfbf
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing