Ascent++
Search
rectangular prism
subgroup of
prism
,
1
assertions
HasA
1
fractional side lengths
0.68