Assertion: icosahedron's dodecahedron | /r/CapableOf | form the group
Facets:
Source sentences:
text: The regular dodecahedron has 120 symmetries, forming the group $ A_5\times Z_2 $.