Skip to content
Lint

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. #745

Sign in to view logs

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted.

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. #745

Triggered via pull request July 24, 2023 19:17
@hulpkehulpke
synchronize #5475
hulpke:additions
Status Success
Total duration 56s
Artifacts –

lint.yml

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