Assertion list
tetrahedron (primary) → MadeOf
Results from Ascent++: 1
tetrahedron → MadeOf → 4 equilateral triangles 0.32