Assertion list
icosahedron (primary) → MadeOf

Results from Ascent++: 1
icosahedronMadeOf 20 equilateral triangles 0.33