https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.EnrichedCats.Profunctors.Composition.Whiskering.html
UniMath.CategoryTheory.EnrichedCats.Profunctors.Composition.Whiskering
profunctorscomposition
https://packages.debian.org/forky/libghc-profunctors-doc
Debian -- Details of package libghc-profunctors-doc in forky
Haskell 98 Profunctors; documentation
debiandetailspackageprofunctorsdoc
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.EnrichedCats.Profunctors.Composition.html
UniMath.CategoryTheory.EnrichedCats.Profunctors.Composition
profunctorscomposition
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.Profunctors.Core.html
UniMath.CategoryTheory.Profunctors.Core
profunctorscore
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.EnrichedCats.Profunctors.Composition.Unitors.html
UniMath.CategoryTheory.EnrichedCats.Profunctors.Composition.Unitors
profunctorscomposition