>>244
>いつcocompactが余コンパクトと訳された？

ご苦労様です
誤爆か、ツリか？　；ｐ）

Cocompact は、en.wikipediaに４つあるね

https://en.wikipedia.org/wiki/Cocompact
Cocompact may refer to:
・Cocompact group action
・Cocompact Coxeter group
・Cocompact embedding
・Cocompact lattice

（冒頭のやつ）
https://en.wikipedia.org/wiki/Cocompact_group_action
Cocompact group action
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. If X is locally compact, then an equivalent condition is that there is a compact subset K of X such that the image of K under the action of G covers X. It is sometimes referred to as mpact, a tongue-in-cheek reference to dual notions where prefixing with "co-" twice would "cancel out".