Assertion list
euclidean geometry (subgroup of geometry ) → HasProperty
Results from Ascent++: 2
euclidean geometry → HasProperty → flat 0.68
euclidean geometry → HasProperty → synthetic 0.68