Skip to content
Lint

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

Sign in to view logs

FIX: wreath product with trivial group contains trivial generators

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gaplint
29s
29s