Assertion list for term "4 faces".

Results from Ascent++: 1
tetrahedron HasA4 faces 0.47