Theorem CategoryTheory.GlueData.diagram_snd

Modification history