I think we should explain the symmetry group part a bit.
And we should add the number of edges for each solid.
The number of edges for each solid is
half number of vertices times the number of faces meeting at each vertex.
Euler established that it's the sum of the number of faces and number of vertices minus two. This applies to any other polyhedron that has no hollowed out spaces and no holes. --- Karl Palmen