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] - chore(AlgebraicTopology/SingularSet): factor topology out of SimplicialSet
into new file
#9428
Conversation
jcommelin
commented
Jan 4, 2024
…alSet` into new file
SimplicialSet
into new fileSimplicialSet
into new file
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'm happy with this but an algebraic topology maintainer (@adamtopaz ?) should have a look.
Copyright (c) 2024 Johan Commelin. All rights reserved. | ||
Released under Apache 2.0 license as described in the file LICENSE. | ||
Authors: Johan Commelin, Scott Morrison, Adam Topaz |
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.
Can you make sure the year is correct?
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.
Shouldn't it be the year that this file was created?
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.
Ah, I guess we've argued this before. I always take it to be the year the oldest definition/lemma of the file was created.
Please an algebraic topology maintainer sign off! maintainer merge |
🚀 Pull request has been placed on the maintainer queue by YaelDillies. |
This looks good to me. There is one issue though (which can fixed in a later PR): it seems that the functors like bors d+ |
✌️ jcommelin can now approve this pull request. To approve and merge a pull request, simply reply with |
bors r+ |
…ialSet` into new file (#9428)
Pull request successfully merged into master. Build succeeded: |
SimplicialSet
into new fileSimplicialSet
into new file