mathlib3

12be0aaa - refactor(category_theory/instances): rename `examples` to `instances`