Ascent++
Search
right prism
subgroup of
prism
,
1
assertions
IsA
1
prism
0.68