Def CategoryTheory.MorphismProperty.relative

Modification history

2024-10-12 12:46

Mathlib/CategoryTheory/MorphismProperty/Representable.lean

feat(MorphismProperty/Presheaf): add `relative` morphism property (#16143) …

Added CategoryTheory.MorphismProperty.relative View on Github →