Theorem StructureGroupoid.LocalInvariantProp.liftPropWithinAt_indep_chart_target_aux

Modification history