Refactor Algebra.Solver.*Monoid
#2407
Merged
This job succeeded
Loading
Algebra.Solver.*Monoid
#2407