Skip to content

Merge pull request #1713 from mohamed-barakat/TerminalCategoryWithMul… #4997

Merge pull request #1713 from mohamed-barakat/TerminalCategoryWithMul…

Merge pull request #1713 from mohamed-barakat/TerminalCategoryWithMul… #4997

Annotations

1 warning

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

succeeded Jan 2, 2025 in 1h 52m 26s