Assertion: abelian group | /r/CapableOf | admit linear order
Facets:
Source sentences:
text: Conversely, F. W. Levi showed that an abelian group admits a linear order if and only if it is torsion-free (Levi 1942).