Ascent++
Search
Assertion list
for term "4 faces".
Results from
Ascent++
:
1
tetrahedron
→
HasA
→
4 faces
0.47