Assertion list
tetrahedron (primary) → HasProperty
Results from Ascent++: 4
tetrahedron → HasProperty → dual 0.25
tetrahedron → HasProperty → regular 0.25
tetrahedron → HasProperty → strong 0.24
tetrahedron → HasProperty → efficient 0.16