Ascent++
Search
Assertion list
for term "square parallelepiped".
Results from
Ascent++
:
1
cube
→
HasProperty
→
square parallelepiped
0.30