def definition def or abbrev

`aspectExperiment`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 192def aspectExperiment : String := "S = 2.70 ± 0.05 > 2 (5σ violation)"

Definition body.

 193
 194/-- Giustina et al. (2015): Loophole-free Bell test. -/

Lean names referenced from this declaration's body.