Assertion: d icosahedron | /r/HasProperty | τ /√3)(7τ-6)/5
Facets:
Source sentences:
text: d icosahedron = (τ /√3)(7τ-6)/5