P
Initializing...
The translation subgroup of a crystallographic group is a full-rank lattice · Prove2Me