Commit 2025-12-12 18:47 a6e07ebf

View on Github →

chore(Algebra/MonoidAlgebra): reduce dependence on defeq abuse, golf (#32604) This is crucial for #25273.

Estimated changes