Regular polytope by Ciro Santilli 34 Updated +Created
TODO understand and explain definition.