mathlib3

5642c628 - docs(control/traversable/equiv): Add module docstring (#9928)