Theorem StructureGroupoid.mem_maximalAtlas_of_mem_groupoid

Modification history