PR !4#7219: feat: Equivs for AddMonoidAlgebras

Stream: triage

[Random Issue Bot]

Today I chose PR #7219 for discussion!

feat: Equivs for AddMonoidAlgebras
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2023-09-17
Labels: awaiting-author, merge-conflict, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

This duplicates #32254. Let's close?