mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(category_theory/monoidal): Strong functor

Open cipher1024 opened this issue 5 years ago • 0 comments

cipher1024 avatar Sep 07 '20 03:09 cipher1024