Mathlib v3 is deprecated. Go to Mathlib v4

Def bitraversable.tsnd

Modification history

2019-08-22 10:31
src/category/bitraversable/lemmas.lean
docs(category/monad,bitraversable): add module docstrings #1260 (#1286) …
Modified bitraversable.tsndView on Github →
2018-11-05 09:56
category/bitraversable/lemmas.lean
feat(category/bifunctor): Bifunctor and bitraversable (#255)
Added bitraversable.tsndView on Github →