Def bifunctor.fst

Modification history

2021-10-23 20:04

src/control/bifunctor.lean

docs(control/bifunctor): Add module and defs docstrings (#9911)

Modified bifunctor.fst View on Github →

2018-11-05 09:56

category/bifunctor.lean

feat(category/bifunctor): Bifunctor and bitraversable (#255)

Added bifunctor.fst View on Github →