Assertion: dodecahedron | /r/HasAspect | an edge length of $1$
Facets:
Source sentences:
text: Some elaborate computation shows that, if the dodecahedron has an edge length of $1$, then the side length of the smallest such decagonal hole is $$\sqrt{\frac{5 + \sqrt{5}}{10}}