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

Triggered via pull request October 24, 2024 15:06
@FriedrichRoberFriedrichRober
opened #5826
FriedrichRober:fr/FixWreathProductTrivialTopGroup
Status Success
Total duration 38s
Artifacts –

lint.yml

on: pull_request
gaplint
29s
gaplint
Fit to window
Zoom out
Zoom in