Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-23 20:04 14b998b2

View on Github →

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

Estimated changes

modified def bifunctor.fst
modified def bifunctor.snd