Commit 2026-03-18 12:31 614a2907

View on Github →

chore(Algebra/SkewMonoidAlgebra/Basic): generalize lemmas from Monoid to Mul (#36737)

Estimated changes