mathlib3

5d1e8f79 - docs(control/applicative): Add module docstring (#9930)