Convex regular-faced polytope

A CRF polytope, short for convex regular-faced, is any convex polytope whose faces are all regular polygons.

The non-uniform CRF polyhedra are known as the Johnson solids, and the list has been proven to be complete. Research to discover CRF polytopes in higher dimensions in ongoing; there are likely to be at least several billion CRF polychora, if not more, many of which are diminishings of uniform polychora of the H4 family.