Def CategoryTheory.GlueData.gluedIso

Modification history