-
Notifications
You must be signed in to change notification settings - Fork 234
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(RingTheory): hopf algebra definition #10079
Conversation
…mathlib4 into aramsey-bialgebras
Please also satisfy the linter! |
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.
bors d+
Thanks!
I think the references.bib is not going to pass CI until you run bibtool
against it to clean up the format.
✌️ al-ramsey can now approve this pull request. To approve and merge a pull request, simply reply with |
This looks good to me! bors merge |
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Build failed (retrying...): |
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Build failed (retrying...): |
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Build failed (retrying...): |
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Build failed (retrying...): |
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Pull request successfully merged into master. Build succeeded: |
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Add definition of a Hopf algebra. For FLT. Co-authored-by: al-ramsey <s2158261@ed.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Add definition of a Hopf algebra. For FLT.