Theorem StructureGroupoid.subset_maximalAtlas

Modification history