Commit 2025-12-12 14:05 b5195ed0
View on Github →feat(Algebra/MonoidAlgebra): cardinality of monoid algebras (#32588)
Currently, all these lemmas are special cases of the Finsupp ones. After #25273 however, this will not be the case anymore.
feat(Algebra/MonoidAlgebra): cardinality of monoid algebras (#32588)
Currently, all these lemmas are special cases of the Finsupp ones. After #25273 however, this will not be the case anymore.