Theorem StructureGroupoid.mem_of_eqOnSource

Modification history