Skip to content
Lint

Fix for IsomorphismFpGroup for perm groups (#5831) #2095

Sign in to view logs

Fix for IsomorphismFpGroup for perm groups (#5831)

Fix for IsomorphismFpGroup for perm groups (#5831) #2095

Triggered via push November 1, 2024 20:25
@fingolfinfingolfin
pushed 70eba1d
master
Status Success
Total duration 40s
Artifacts –

lint.yml

on: push
gaplint
31s
gaplint
Fit to window
Zoom out
Zoom in