The action of a nilpotent group on its horofunction boundary has finite orbits.

From MaRDI portal
Publication:646384