mathlib3

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