feat(RingTheory/HopfAlgebra): ascending Pochhammer is of binomial type#39636
Draft
RaggedR wants to merge 14 commits into
Draft
feat(RingTheory/HopfAlgebra): ascending Pochhammer is of binomial type#39636RaggedR wants to merge 14 commits into
RaggedR wants to merge 14 commits into
Commits
Commits on May 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed