Cubulation of a group (source code)

= Cubulation of a group

A cubulation of a group is a metrically proper action by cubical automorphisms on a <CAT(0) cube complex>. It is cocompact when the action is also a <cocompact group action>.