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
feat(algebra/homology): chain complexes #2174
feat(algebra/homology): chain complexes #2174
Changes from 31 commits
64c23b4
5034cc2
a322404
fe8e3a4
c983761
17cfe8a
84e6f1a
44153fc
7da3a8a
cbee3ea
c36be73
d78e102
b1621f1
3921c6c
25f56b2
eb8a389
c4cf955
babe6c6
e3442fa
b21cd0c
e547914
d3dcf67
0b257ca
f1d142c
da69994
7e4ae76
ea7d385
d3e92fe
4613e0d
f3c802c
c4260dd
7ed3b3c
c6b085a
0352bc1
195fcc9
17e4f6d
92a0bf4
dca405f
8be3226
e3f4c27
39d0cb1
5db4cb7
10d9433
34958ba
1a024ed
74c235b
c611d76
452c0bb
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Examples in mathlib?? Is that a thing?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'd like them to be. :-) They are part of the documentation.