Theorem StructureGroupoid.LocalInvariantProp.liftProp_inclusion

Modification history