Theorem CategoryTheory.MorphismProperty.relative_of_snd

Modification history

2024-10-12 12:46

Mathlib/CategoryTheory/MorphismProperty/Representable.lean

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

Added CategoryTheory.MorphismProperty.relative_of_snd View on Github →