Ascent++
Search
given rational number
subgroup of
rational number
,
1
assertions
HasProperty
1
equal
0.68