Ascent++
Search
arithmetic sequence
subgroup of
sequence
,
1
assertions
IsA
1
a sequence of numbers
0.68