Theorem CategoryTheory.GlueData.diagram_right

Modification history