Skip to content
Lint

Fix an error in MinimalFaithfulPermutationDegree, for the case of abelian direct factors #1692

Sign in to view logs

Fix an error in MinimalFaithfulPermutationDegree, for the case of abelian direct factors

Fix an error in MinimalFaithfulPermutationDegree, for the case of abelian direct factors #1692

Triggered via pull request May 28, 2024 04:08
@hulpkehulpke
opened #5730
hulpke:fixes
Status Success
Total duration 47s
Artifacts –

lint.yml

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