mathlib

7dff92aa - feat(category_theory/morphism_property): Define `morphism_property.universally`. (#17112)