equation 7.151 eq:ana-iterated

open in the book · parts/02-mathematical-methods/05-real-analysis.tex:4246

part of a statement or proof

Rests on

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

Supports

depends_on lemma A.586 Gaussian integral with a complex linear term ¶
- depends_on proposition A.592 The vacuum of the Schrödinger system ¶
- depends_on theorem A.587 The Gaussian average is a non-zero projector that absorbs the Weyl operators ¶
  - depends_on lemma A.590 The Gram matrix is universal ¶
    - depends_on proposition A.591 Any two irreducible Weyl systems are equivalent ¶
  - depends_on proposition A.589 Cyclic subspaces and the rank of the average ¶
    - depends_on lemma A.590 The Gram matrix is universal ¶ ↺
    - depends_on proposition A.591 Any two irreducible Weyl systems are equivalent ¶ ↺
  - depends_on proposition A.592 The vacuum of the Schrödinger system ¶ ↺

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`	←	Gaussian integral with a complex linear term	declared	appendices/A-long-proofs.tex:28050