Vertex
Hypercube
Simplex
Polytope
Euler_characteristic
Regular_polytope
Vertex_figure
Dual_polyhedron
Demihypercube
