Theorem StructureGroupoid.LocalInvariantProp.liftPropAt_iff_comp_inclusion

Modification history