Theorem CategoryTheory.GlueData.diagram_fst

Modification history