Assertion: abelian group's subgroup | /r/AtLocation | the case
Facets:
value: if
type: DEGREE
Source sentences:
text: In the case that is finite, then is a subgroup if and only if is closed under products.