mathlib3

264d33ec - docs(control/traversable/lemmas): Add module docstring (#9927)