Skip to content

Commit 59daad2

Browse files
jacquescomeauxjacquescomeaux
committed
Begin cleaning up monoidal functor properties
1 parent 2858c2a commit 59daad2

File tree

2 files changed

+204
-141
lines changed

2 files changed

+204
-141
lines changed

0 commit comments

Comments
 (0)