Skip to content

Commit 61bc83f

Browse files
joelrioujoelriou
committed
feat(CategoryTheory/Monoidal): use to_additive for group objects (#37263)
1 parent 1e483c8 commit 61bc83f

File tree

1 file changed

+193
-77
lines changed

1 file changed

+193
-77
lines changed

0 commit comments

Comments
 (0)