Vertex
Hypercube
Simplex
Euler_characteristic
Polytope
Regular_polytope
Vertex_figure
Dual_polyhedron
Demihypercube
