Skip to content
Back to pull request #5514

Improve subgroup conjugacy of permutation groups #931

Sign in to view logs

Improve subgroup conjugacy of permutation groups

Improve subgroup conjugacy of permutation groups #931

Triggered via pull request September 29, 2023 17:51
@hulpkehulpke
synchronize #5514
hulpke:enhancements
Status Success
Total duration 58s
Artifacts –

lint.yml

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