Ascent++
Search
natural pool
subgroup of
pool
,
1
assertions
HasProperty
1
perfect
0.59