Skip to content

refactor(Algebra/Polynomial): make into an abbrev of AddMonoidAlgebra - #41981

Open
YaelDillies wants to merge 9 commits into
leanprover-community:masterfrom
YaelDillies:polynomial_abbrev
Open

refactor(Algebra/Polynomial): make into an abbrev of AddMonoidAlgebra#41981
YaelDillies wants to merge 9 commits into
leanprover-community:masterfrom
YaelDillies:polynomial_abbrev

Commits

  1. Commits on Oct 8, 2026

  2. Commits on Oct 16, 2026

  3. Commits on Oct 19, 2026

    • fix

      YaelDilliesYaelDillies
      committed
      b287378

  4. Commits on Oct 25, 2026

  5. Commits on Oct 28, 2026