equation 13.241 eq:mfd-antisimb

open in the book · parts/02-mathematical-methods/11-manifolds-tensors-curvature.tex:4981

connected by a declared semantic edge

Rests on

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

Supports

depends_on lemma A.301 Transformation of the top form ¶
- depends_on definition A.302 Orientation ¶
  - depends_on definition A.309 The induced orientation of the boundary ¶
    - depends_on theorem A.311 General Stokes theorem ¶
      - depends_on corollary A.313 Stokes' theorem for an antisymmetric tensor field ¶
      - depends_on lemma A.555 The actions are well defined ¶
      - depends_on theorem 24.23 Poincaré–Cartan integral invariant ¶
  - depends_on definition A.304 Integral over a chart ¶
    - depends_on lemma A.305 The chart integral is well defined ¶
      - depends_on definition A.308 Integral over the manifold ¶
- depends_on lemma A.305 The chart integral is well defined ¶ ↺

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	←	Transformation of the top form	declared	appendices/A-long-proofs.tex:14969