Theorem CategoryTheory.GlueData.diagramIso_inv_app_right

Modification history