Assertion: division algebra | /r/HasAspect | no zero divisors
Facets:
Source sentences:
text: Associative division algebras have no zero divisors.