Assertion: group scheme | /r/HasProperty | complete
Facets:
Source sentences:
text: A complete group scheme over a field need not be commutative, however; for example, any finite group scheme is complete.