lemma 13.136 Discrete subgroups of $\R^{f}$

Rests on

• depends_on definition 5.14 Linear independence ¶
  • depends_on definition 5.5 Linear combination ¶
    • depends_on definition 4.33 Vector space ¶
      • depends_on definition 4.8 Commutativity; abelian structure ¶
        • depends_on definition 4.4 Internal binary operation; magma ¶
      • depends_on definition 4.32 Field ¶
        • depends_on definition 4.11 Inverse element ¶
        • depends_on definition 4.20 Monoid ¶
        • depends_on definition 4.30 Ring ¶
      • depends_on definition 4.31 Module ¶
        • depends_on definition 4.29 Action ¶
        • depends_on definition 4.28 Distributivity ¶
        • depends_on definition 4.21 Group ¶
        • depends_on definition 4.30 Ring ¶ ↺
• depends_on definition 6.9 Compact set ¶
  • depends_on definition 6.5 Open cover ¶
    • depends_on definition 6.2 Open set ¶
      • depends_on definition 6.1 Topological space ¶
        • depends_on definition 3.31 Empty set ¶
        • depends_on definition 3.35 Union, intersection, difference ¶
        • depends_on definition 3.30 Subset ¶
        • depends_on equation 3.51 eq:set-indexed ¶
    • depends_on equation 3.51 eq:set-indexed ¶ ↺
• proves proof ch:11-manifolds-tensors-curvature@proof-35 ¶

Supports

Nothing declares a dependency on this node yet.