Commit 2024-10-17 15:41 3ffd5e03
View on Github →feat(MorphismProperty/Presheaf): Add properties of the relative
morphism property (#16142)
This PR adds some basic properties about the "presheaf" morphism property. For example, that it is stable under base change.