Mathlib v3 is deprecated. Go to Mathlib v4

Def bifunctor.bicompr

Modification history

2019-05-12 01:21
src/category/bifunctor.lean
feat(logic/function): comp₂ -- useful for binary operations (#993) …
Deleted bifunctor.bicomprView on Github →
2018-11-05 09:56
category/bifunctor.lean
feat(category/bifunctor): Bifunctor and bitraversable (#255)
Added bifunctor.bicomprView on Github →