diff --git a/web/Site/Components.lean b/web/Site/Components.lean index 717a2ec..ad06448 100644 --- a/web/Site/Components.lean +++ b/web/Site/Components.lean @@ -133,7 +133,7 @@ block_component +directive hero where
{{ diamondDiagram }}
- "Axiom 3 in one picture: the diamonds B₁ and B₂ are spacelike separated inside B, so their observables commute." + "Algebraic quantum field theory's axiom 3 in one picture: the diamonds B₁ and B₂ are spacelike separated inside B, so their observables commute."