Theorem TopCat.GlueData.fromOpenSubsetsGlue_isOpenMap

Modification history