Assertion list
point group (subgroup of group ) → HasProperty

Results from Ascent++: 1
point groupHasProperty isomorphic 0.68