Skip to content

feat(CategoryTheory): composition of profunctors#38086

Open
dagurtomas wants to merge 45 commits into
leanprover-community:masterfrom
dagurtomas:profunctor-comp
Open

feat(CategoryTheory): composition of profunctors#38086
dagurtomas wants to merge 45 commits into
leanprover-community:masterfrom
dagurtomas:profunctor-comp

Merge branch 'master' into profunctor-comp

42cfb88
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 3, 2026 in 1m 19s