Def category_theory.morphism_property.universally

Modification history

2022-10-22 14:57
src/category_theory/morphism_property.lean
feat(category_theory/morphism_property): Define `morphism_property.universally`. (#17112)
Added category_theory.morphism_property.universallyView on Github →