Skip to content

feat(RingTheory/HopfAlgebra): ascending Pochhammer is of binomial type#39636

Draft
RaggedR wants to merge 14 commits into
leanprover-community:masterfrom
RaggedR:feat/ascpochhammer-binomial
Draft

feat(RingTheory/HopfAlgebra): ascending Pochhammer is of binomial type#39636
RaggedR wants to merge 14 commits into
leanprover-community:masterfrom
RaggedR:feat/ascpochhammer-binomial

fix: remove redundant @[simp] on backwardDiff_X/C

6cf2cee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 22, 2026 in 1m 16s