Assertion list
euclidean distance (subgroup of distance ) → HasProperty

Results from Ascent++: 1
euclidean distanceHasProperty invariant 0.25