thirdTheoremStates

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Bieberbach_theorem In each dimension n, there are only finitely many crystallographic groups up to affine equivalence.