Skip to content

Use the README's caption on the homepage diagram - #55

Merged
KellyJDavis merged 1 commit into
mainfrom
numina/aqft-in-lean
Nov 1, 2026
Merged

KellyJDavis merged 1 commit into
mainfrom
numina/aqft-in-lean

Conversation

@KellyJDavis

Copy link
Copy Markdown
Contributor

The homepage diagram's caption now matches the README: "Algebraic quantum field theory's axiom 3 in one picture: the diamonds B₁ and B₂ are spacelike separated inside B, so their observables commute."

Checked with a local site build and the present-tense wording check.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@KellyJDavis
KellyJDavis merged commit 7d37ec6 into main Nov 1, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant