Theorem CategoryTheory.GlueData.diagramIso_hom_app_right

Modification history