Assertion: torus | /r/HasProperty | diagonalisable
Facets:
value: over this field
type: LOCATION
Source sentences:
text: The torus is split over a field if and only if it is diagonalisable over this field.