transf: don't allow mult. when degrees differ#394
Merged
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom Feb 24, 2026
Merged
transf: don't allow mult. when degrees differ#394james-d-mitchell merged 1 commit intolibsemigroups:mainfrom
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom