Theorem StructureGroupoid.id_mem_maximalAtlas

Modification history