Def const.bitraverse

Modification history

2021-10-24 22:52

src/control/bitraversable/instances.lean

docs(control/bitraversable/instances): Add def docstrings (#9931)

Modified const.bitraverse View on Github →

2018-11-05 09:56

category/bitraversable/instances.lean

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

Added const.bitraverse View on Github →