mathlib3

6f1d45dc - docs(control/bitraversable/basic): Add defs docstrings (#9929)