Skip to content
Lint

Improvements for finitely presented groups and homomorphisms #741

Sign in to view logs

Improvements for finitely presented groups and homomorphisms

Improvements for finitely presented groups and homomorphisms #741

Triggered via pull request July 23, 2023 20:27
@hulpkehulpke
synchronize #5468
hulpke:fixes
Status Success
Total duration 53s
Artifacts –

lint.yml

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