Theorem StructureGroupoid.eq_on_source

Modification history