Skip to content

Merge pull request #1678 from zickgraf/CategoryConstructor_weights #4931

Merge pull request #1678 from zickgraf/CategoryConstructor_weights

Merge pull request #1678 from zickgraf/CategoryConstructor_weights #4931

Annotations

1 warning

test (ghcr.io/homalg-project/gap-docker-master:latest)

succeeded Nov 16, 2024 in 1h 40m 41s