Theorem TopCat.GlueData.ι_fromOpenSubsetsGlue

Modification history