Commit 2025-12-08 04:25 9385c897

View on Github →

feat(Algebra/MonoidAlgebra): single as a DistribMulActionHom (#32508) After #25273, it will not be possible anymore to (ab)use the Finsupp version for this.

Estimated changes