Ascent++
Search
initial kinetic energy
subgroup of
kinetic energy
,
1
assertions
HasProperty
1
equal
0.68