Repository navigation

Reeh–Schlieder theorem: blueprint §10.9, Lean proofs, manual chapter - #57

Merged

KellyJDavis merged 4 commits into

mainfrom

reeh-schlieder-blueprint

Nov 8, 2026

Merged

Reeh–Schlieder theorem: blueprint §10.9, Lean proofs, manual chapter#57
KellyJDavis merged 4 commits into
mainfrom
reeh-schlieder-blueprint

Commits on Nov 7, 2026
- Add a Reeh–Schlieder section to the blueprint (§10.9)
  
  KellyJDavis
  and
  claude
  committed
  4c0589e
Commits on Nov 8, 2026
- Formalize and prove the Reeh–Schlieder section (§10.9)
  
  KellyJDavis
  and
  claude
  committed
  3e4aa4e
- State the vacuum Reeh–Schlieder corollary for the vacuum data alone
  
  KellyJDavis
  and
  claude
  committed
  666dd80
- Add a Reeh–Schlieder chapter to the reference manual
  
  KellyJDavis
  and
  claude
  committed
  84cfcc0