There are also 23 paracompact uniform groups of rank 4 that produce infinite or unbounded honeycombs with paracompact Coxeter facets or vertex figure , including ideal vertices at infinity .
There are also 23 paracompact Coxeter groups of rank 4 that produce paracompact uniform honeycombs with infinite or unbounded facets or vertex figure , including ideal vertices at infinity .