Ascent++
Search
total spin
subgroup of
spin
,
1
assertions
HasProperty
1
zero
0.84