Skip to content
Lint

Enhance IsomorphismFpGroup(G) to transfer in more cases information about G to its image #1466

Sign in to view logs

Enhance IsomorphismFpGroup(G) to transfer in more cases information about G to its image

Enhance IsomorphismFpGroup(G) to transfer in more cases information about G to its image #1466

Triggered via pull request February 28, 2024 22:59
@fingolfinfingolfin
opened #5660
fingolfin:mh/IsomorphismFpGroup-UseIsomorphismRelation
Status Success
Total duration 45s
Artifacts –

lint.yml

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