Theorem CategoryTheory.GlueData.diagram_fstFrom

Modification history