Assertion: abelian group's basis | /r/HasAspect | this form
Facets:
Source sentences:
text: if M is a d × d integer matrix with determinant ±1, then the rows of M form a basis, and conversely every basis of the integer lattice has this form.