Ascent++
Search
gaussian curvature
subgroup of
curvature
,
1
assertions
HasProperty
1
negative
0.68