Regular 4-polytope by Ciro Santilli 34 Updated Created