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(category_theory/abelian): Schur's lemma #2838
[Merged by Bors] - feat(category_theory/abelian): Schur's lemma #2838
Changes from 33 commits
f4e2662
820c5a3
9c434c6
23d4665
0898b74
aeea3a7
98bcb5d
173e832
f4fb116
34ad611
0f952a0
7fb372d
a7d4c8b
c6438da
6a4766a
f9c1901
a002958
b189e3e
6df9044
ee00de6
2ac8ede
27d0bf3
ffe4651
bfbdfc3
ebd6e56
92ffec6
9749861
51df3f3
ad9df30
7e9d75c
8c1e467
613055a
e7c8019
c0f0523
b3ce162
aae2d9b
56676ca
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing