Ascent++
Search
infinite set
subgroup of
set
,
1
assertions
IsA
1
bigger than others
0.76