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(group_theory/p_group): Groups of order p^2 are commutative #8632
[Merged by Bors] - feat(group_theory/p_group): Groups of order p^2 are commutative #8632
Changes from all commits
10129a9
7b4f715
051214f
80b0054
210a724
b297a16
423614d
70ac885
9d60e36
c59abb7
58b2f73
6be95c6
f915323
dc7b6e0
c752f8e
74d1b02
1a5355e
d6dd405
a4fa48e
d0dd423
e60672e
e0ba94b
c04e8c4
c572e40
829756e
b50eaa1
94f4641
9323a85
ad6b99f
88742ad
7761491
3d9f9f5
7db005a
d7f316f
09283d7
995ef25
dcae080
a4996fc
796114d
f479388
f0a9487
9da87c6
8ddd4d1
b494f45
80711e0
bcda06e
4dbddbe
ff6cecf
b2e68c0
47f3dc5
3236bfa
dc29c26
cd6e15f
f0d2687
2e74628
2d7a124
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing