feat(CategoryTheory): the bicategory of profunctors#1

dagurtomas wants to merge 1 commit into

profunctor-compdagurtomas/mathlib4:profunctor-compfrom

profunctor-bicategory-followupdagurtomas/mathlib4:profunctor-bicategory-followupCopy head branch name to clipboard