mathlib3

da9756e8 - refactor(category_theory/images): improvements