Skip to content

FIX: wreath product with trivial group contains trivial generators #2067

FIX: wreath product with trivial group contains trivial generators

FIX: wreath product with trivial group contains trivial generators #2067

gaplint

succeeded Oct 24, 2024 in 29s