feat(RingTheory/HopfAlgebra): Hopf algebra structure on polynomials (𝔾ₐ)#39410
Open
RaggedR wants to merge 15 commits into
Open
feat(RingTheory/HopfAlgebra): Hopf algebra structure on polynomials (𝔾ₐ)#39410RaggedR wants to merge 15 commits into
RaggedR wants to merge 15 commits into
Commits
Commits on May 25, 2026
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
