Assertion list for term "a hypotenuse face".

Results from Ascent++: 1
prism HasAa hypotenuse face 0.25