e/Cocompact group action

Information
has gloss	eng: In mathematics, an action of a group G on a topological space X is cocompact if the quotient space X/G is a compact space.
lexicalization	eng: Cocompact group action
instance of	e/Group action