proposition 13.113 Product of a closed and an exact form

Rests on

• depends_on definition 13.105 Closed form ¶
  • depends_on definition 13.103 Exterior derivative ¶
    • depends_on definition 13.98 $k$-form ¶
      • depends_on definition 13.83 Covector ¶
        • depends_on definition 13.81 Vector on a manifold ¶
      • depends_on definition 13.84 Tensor ¶
        • depends_on definition 13.83 Covector ¶ ↺
        • depends_on definition 13.81 Vector on a manifold ¶ ↺
    • depends_on definition 13.102 Wedge product ¶
      • depends_on definition 13.98 $k$-form ¶ ↺
      • depends_on equation 13.239 eq:mfd-dual-basis ¶
  • depends_on definition 13.98 $k$-form ¶ ↺
• depends_on definition 13.106 Exact form ¶
  • depends_on definition 13.103 Exterior derivative ¶ ↺
  • depends_on definition 13.98 $k$-form ¶ ↺
• depends_on equation 13.246 eq:mfd-leibniz-forms ¶
• depends_on lemma 13.107 Poincaré lemma ¶
  • depends_on definition 13.105 Closed form ¶ ↺
  • depends_on definition 13.106 Exact form ¶ ↺
  • depends_on equation 13.245 eq:mfd-nilpotency ¶
  • proves proof ch:11-manifolds-tensors-curvature@proof-21 ¶
• proves proof ch:11-manifolds-tensors-curvature@proof-24 ¶

Supports

Nothing declares a dependency on this node yet.