Commit 2024-09-05 13:49 a1113242
View on Github →feat(MorphismProperty/Presheaf): Add basic properties of relatively representable morphisms (#16141) This PR adds some basic properties of the morphism property "relatively representable".
feat(MorphismProperty/Presheaf): Add basic properties of relatively representable morphisms (#16141) This PR adds some basic properties of the morphism property "relatively representable".