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".

Estimated changes