Def CategoryTheory.GlueData.diagramIso

Modification history