mathlib

b084cfcd - fix(category_theory/equivalence): duplicated namespace prefix (#669)