Structure CategoryTheory.ProjectivePresentation

Modification history