Assertion list
finite group (subgroup of group ) → HasProperty
Results from Ascent++: 1
finite group → HasProperty → isomorphic 0.84