Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

feat(category_theory/category/Pointed): Pointed is a monoidal category #15390

Closed
wants to merge 8 commits into from

Merge remote-tracking branch 'origin/master' into Pointed_monoidal

7fd2a96
Select commit
Loading
Failed to load commit list.
Closed

feat(category_theory/category/Pointed): Pointed is a monoidal category #15390

Merge remote-tracking branch 'origin/master' into Pointed_monoidal
7fd2a96
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs