Theorem CategoryTheory.GlueData.diagram_r

Modification history