def definition def or abbrev

`experimentalStatus`

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

formal statement (Lean)

 253def experimentalStatus : List DoubleSlitFalsifier := [

proof body

Definition body.

 254  ⟨"Interference pattern", "Observed for all particles"⟩,
 255  ⟨"Which-path effect", "Confirmed"⟩,
 256  ⟨"Quantum eraser", "Confirmed"⟩,
 257  ⟨"Path-phase relation", "Confirmed"⟩
 258]
 259
 260end DoubleSlit
 261end Quantum
 262end IndisputableMonolith

depends on (8)

Lean names referenced from this declaration's body.

all in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
all in IndisputableMonolith.Anthropology.KinshipGraphCohomology decl_use
all in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
phase in IndisputableMonolith.Foundation.EightTick decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
all in IndisputableMonolith.Musicology.ModalPreferenceFromPhi decl_use
phase in IndisputableMonolith.NumberTheory.RiemannHypothesis.Wedge decl_use
DoubleSlitFalsifier in IndisputableMonolith.Quantum.DoubleSlit decl_use