Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-24 22:52 1e7f6b9a

View on Github →

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

Estimated changes

modified def const.bitraverse