Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.morphism_property.universally_respects_iso

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.universally_respects_isoView on Github →