Skip to content
Lint

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

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

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

lint.yml

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