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.

Estimated changes