Skip to content

Sync weighted comparison operators#367

Draft
jswent wants to merge 2 commits intolibsemigroups:mainfrom
jswent:weighted-ops
Draft

Sync weighted comparison operators#367
jswent wants to merge 2 commits intolibsemigroups:mainfrom
jswent:weighted-ops

Commits

Commits on Dec 1, 2025