Skip to content

Consistent constants#419

Draft
Joseph-Edwards wants to merge 3 commits intolibsemigroups:mainfrom
Joseph-Edwards:consistent-constants
Draft

Consistent constants#419
Joseph-Edwards wants to merge 3 commits intolibsemigroups:mainfrom
Joseph-Edwards:consistent-constants

Commits

Commits on Apr 23, 2026