equation 13.303 eq:mfd-vielbein-postulate

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on theorem 13.156 Cartan structure equations ¶
  • depends_on proposition 44.13 First-order variation in vielbein-form variables ¶
  • depends_on proposition 13.157 Bianchi identities ¶
    • depends_on proposition 13.154 Symmetries of the curvature ¶
      • depends_on definition 13.111 Linearised curvature of a symmetric field ¶
        • depends_on theorem 13.112 Symmetric analogue of the converse Poincaré lemma ¶
      • depends_on theorem 44.23 Contracted Bianchi identity ¶
        • depends_on corollary 44.24 Conservation is an integrability condition ¶
        • depends_on proposition 44.41 Four of the ten equations are constraints ¶
        • depends_on proposition 44.30 The cosmological term ¶
        • depends_on theorem 44.33 Lovelock's uniqueness theorem; imported ¶
      • depends_on theorem 13.160 Maximal symmetry forces constant curvature ¶
        • depends_on proposition 44.31 de Sitter geometry ¶
        • depends_on proposition 15.31 Radius and cosmological constant ¶
        • depends_on theorem 48.3 The Robertson–Walker metric ¶
  • depends_on proposition 13.158 The connection determined by vielbein and torsion ¶
    • depends_on proposition 44.13 First-order variation in vielbein-form variables ¶ ↺
    • depends_on theorem 43.3 Equivalence of the two variable sets ¶
      • depends_on proposition 44.13 First-order variation in vielbein-form variables ¶ ↺