Ascent++
Search
finite group
subgroup of
group
,
1
assertions
HasProperty
1
isomorphic
0.84