Talk:Cocompact group action

"Cocompact" listed at Redirects for discussion
An editor has identified a potential problem with the redirect Cocompact and has thus listed it for discussion. This discussion will occur at Redirects for discussion/Log/2022 July 21 until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 23:14, 21 July 2022 (UTC)

Examples needed
Someone should add some concrete examples to this article. Michael Hardy (talk) 00:13, 23 July 2022 (UTC)