Theorem CategoryTheory.GlueData.diagramIso_hom_app_left

Modification history