Def CategoryTheory.Equivalence.projectivePresentationOfMapProjectivePresentation

Modification history