Theorem CategoryTheory.GlueData.hasColimit_mapGlueData_diagram

Modification history