Def CategoryTheory.createsColimitOfIsoDiagram

Modification history