Assertion: abelian group's property | /r/ObjectUse | used in complexity theory
Facets:
Source sentences:
text: This property is also used in complexity theory in the proof of Barrington's theorem.