Skip to content

feat(RingTheory/HopfAlgebra): delta operators and Rota's classification#39465

Draft
RaggedR wants to merge 6 commits into
leanprover-community:masterfrom
RaggedR:feat/delta-operators
Draft

feat(RingTheory/HopfAlgebra): delta operators and Rota's classification#39465
RaggedR wants to merge 6 commits into
leanprover-community:masterfrom
RaggedR:feat/delta-operators

chore: remove redundant simp attrs on forwardDiff_X and forwardDiff_C

0a15124
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 18s