Editing Kepler–Poinsot polyhedron (section)

=== Sizes ===
The great icosahedron edge length is <math>\phi^4 = \tfrac12\bigl(7+3\sqrt5\,\bigr)</math> times the original icosahedron edge length.
The small stellated dodecahedron, great dodecahedron, and great stellated dodecahedron edge lengths are respectively <math>\phi^3 = 2+\sqrt5,</math> <math>\phi^2 = \tfrac12\bigl(3+\sqrt5\,\bigr),</math> and <math>\phi^5 = \tfrac12\bigl(11+5\sqrt5\,\bigr)</math> times the original dodecahedron edge length.