Theorem StructureGroupoid.id_mem

Modification history