mathlib3

fix(category_theory/equivalence): duplicated namespace prefix

#669

Merged