Theorem CategoryTheory.MorphismProperty.relative.rep

Modification history

2024-10-12 12:46

Mathlib/CategoryTheory/MorphismProperty/Representable.lean

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

Added CategoryTheory.MorphismProperty.relative.rep View on Github →