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:latest)

succeeded Jan 1, 2025 in 15m 1s