Speaking of terms, I've been pushing for replacing cocompact with mpact at the last conference I went to. Turns out, the finest minds out there are already on

Speaking of terms, I've been pushing for replacing cocompact with mpact at the last conference I went to. Turns out, the finest minds out there are already on it: https://en.wikipedia.org/wiki/Cocompact_group_action https://en.wikipedia.org/wiki/Cocompact_group_action