Assertion list for term "4 equilateral triangles".

Results from Ascent++: 1
tetrahedron MadeOf4 equilateral triangles 0.32