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)

 274def experimentalStatus : List ComplexFalsifier := [

proof body

Definition body.

 275  ⟨"Real QM", "Ruled out by Renou et al. (2021)"⟩,
 276  ⟨"Phase in experiments", "Ubiquitous and essential"⟩,
 277  ⟨"8-tick structure", "Appears in spin statistics"⟩
 278]
 279
 280end ComplexNumbers
 281end Mathematics
 282end IndisputableMonolith

depends on (10)

Lean names referenced from this declaration's body.

tick in IndisputableMonolith.Constants decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
Phase in IndisputableMonolith.Information.ChurchTuringPhysicsStructure decl_use
ComplexFalsifier in IndisputableMonolith.Mathematics.ComplexNumbers decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use
experiments in IndisputableMonolith.Quantum.ClassicalEmergence decl_use
experiments in IndisputableMonolith.Quantum.DoubleSlit decl_use
experiments in IndisputableMonolith.Quantum.PlanckScale decl_use
Phase in IndisputableMonolith.RRF.Hypotheses.EightTick decl_use
experiments in IndisputableMonolith.StandardModel.PMNSMatrix decl_use