Skip to content

Narrow declarations of Factorization and WreathProduct#1156

Merged
james-d-mitchell merged 3 commits into
semigroups:stable-5.6from
james-d-mitchell:narrow-decls
Mar 30, 2026
Merged

Narrow declarations of Factorization and WreathProduct#1156
james-d-mitchell merged 3 commits into
semigroups:stable-5.6from
james-d-mitchell:narrow-decls