Skip to content

feat(CategoryTheory/Profunctor): Add profunctors and a basic API for them#35970

Closed
adrianmartir wants to merge 8 commits into
leanprover-community:masterfrom
adrianmartir:adrianmartir-profunctor
Closed

feat(CategoryTheory/Profunctor): Add profunctors and a basic API for them#35970
adrianmartir wants to merge 8 commits into
leanprover-community:masterfrom
adrianmartir:adrianmartir-profunctor

Fix 'Profunctor' docstring

b27a52d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.