properly discontinuous action

proper group action by a discrete group

Categories: