equation 13.1 eq:mfd-eta

Rests on

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

Supports

• depends_on definition 13.122 Vielbein ¶
  • depends_on proposition 13.123 Local Lorentz freedom ¶
    • depends_on theorem A.49 thm:app-eh-equivalence ¶
  • depends_on theorem 43.3 Equivalence of the two variable sets ¶
    • depends_on proposition 44.13 First-order variation in vielbein-form variables ¶
  • 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 44.23 Contracted Bianchi identity ¶
        • depends_on theorem 13.160 Maximal symmetry forces constant curvature ¶
    • 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 ¶ ↺