Theorem StructureGroupoid.chart_mem_maximalAtlas

Modification history