Commit 2025-12-24 14:13 3137715b

View on Github →

chore(RingTheory/Coalgebra/MonoidAlgebra): use to_additive (#33141)

Estimated changes