Skip to content
Lint

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

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. #740

Triggered via pull request July 23, 2023 20:23
@hulpkehulpke
synchronize #5475
hulpke:additions
Status Success
Total duration 59s
Artifacts –

lint.yml

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