Assertion: degree | /r/HasProperty | finite
Facets:
Source sentences:
text: The degree may be finite or infinite, the field being called a finite extension or infinite extension accordingly.