Ascent++
Search
Assertion list
polyhedron
(
primary
)
→ CapableOf
Results from
Ascent++
:
1
polyhedron
→
CapableOf
→
satisfy the constraint
0.25