mathlib

cbbc123e - lint(category_theory/equivalence): docstring and a module doc (#4495)