Assertion list for term "different spins".

Results from Ascent++: 1
electron HasAdifferent spins 0.52