Theorem StructureGroupoid.LocalInvariantProp.liftPropWithinAt_congr_set

Modification history