Theorem CategoryTheory.GlueData.diagram_sndFrom

Modification history