Assertion: group's subgroup | /r/HasProperty | the form
Facets:
value: with m
type: OTHER
value: specifically
type: MANNER
Source sentences:
text: Specifically, all subgroups of Z are of the form ⟨m⟩ = mZ, with m a positive integer.