Skip to content

Generalize IsSelfDualSemigroup declaration#1044

Merged
james-d-mitchell merged 1 commit intosemigroups:mainfrom fingolfin:patch-1Nov 2, 2024

Commits

Commits on Nov 2, 2024