Narrow declarations of Factorization and WreathProduct#1156
Open
james-d-mitchell wants to merge 2 commits intosemigroups:stable-5.6from
Open
Narrow declarations of Factorization and WreathProduct#1156james-d-mitchell wants to merge 2 commits intosemigroups:stable-5.6from
Factorization and WreathProduct#1156james-d-mitchell wants to merge 2 commits intosemigroups:stable-5.6from