Mathlib v3 is deprecated. Go to Mathlib v4

Def bicompr.bitraverse

Modification history

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