Virtual Lie subgroups of locally compact groups | Synapse