Assertion: d icosahedron | /r/HasProperty | 3√3 / τ 2 +2)√1
Facets:
Source sentences:
text: d dodecahedron / d icosahedron = (3√3 / [(τ 2 +2)√1+1/ τ 2 ] =