equation A.844 eq:app-hj-liouville-arnold-involution

open in the book · appendices/A-long-proofs.tex:26474

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.546 The Hamiltonian fields of the integrals ¶
- depends_on lemma A.548 The joint flow is a translation action on the level set ¶
  - depends_on corollary A.553 Quasi-periodic motion ¶
  - depends_on lemma A.549 The action is transitive ¶
    - depends_on proposition A.552 The component is a torus ¶
      - depends_on corollary A.553 Quasi-periodic motion ¶ ↺
      - depends_on definition A.554 Actions on the torus ¶
      - depends_on proposition A.556 The Jacobian of the actions is the lattice matrix ¶
  - depends_on proposition A.552 The component is a torus ¶ ↺
- depends_on proposition A.547 The components of the level set are the leaves of an integrable distribution ¶
  - depends_on lemma A.549 The action is transitive ¶ ↺
  - depends_on lemma A.555 The actions are 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`	←	The Hamiltonian fields of the integrals	declared	appendices/A-long-proofs.tex:26539