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