Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-22 10:31 f442a41a

View on Github →

docs(category/monad,bitraversable): add module docstrings #1260 (#1286)

  • docs(category/monad,bitraversable): add module docstrings
  • more docs
  • still more doc
  • doc about traversable

Estimated changes

modified def bitraversable.tfst
modified def bitraversable.tsnd