Assertion: group scheme | /r/HasProperty | finite
Facets:
Source sentences:
text: A group scheme G over a noetherian scheme S is finite and flat if and only if O G is a locally free O S -module of finite rank.