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)

 246def experimentalStatus : List RTFalsifier := [

proof body

Definition body.

 247  ⟨"BH entropy formula", "Confirmed by all calculations"⟩,
 248  ⟨"Area law in CFT", "Verified in many examples"⟩,
 249  ⟨"Tensor network area law", "Confirmed"⟩
 250]
 251
 252end EntanglementEntropy
 253end Quantum
 254end IndisputableMonolith

depends on (9)

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
entropy in IndisputableMonolith.Foundation.InitialCondition decl_use
all in IndisputableMonolith.Musicology.ModalPreferenceFromPhi decl_use
RTFalsifier in IndisputableMonolith.Quantum.EntanglementEntropy decl_use
Tensor in IndisputableMonolith.Relativity.Geometry.Tensor decl_use
entropy in IndisputableMonolith.Thermodynamics.BoltzmannDistribution decl_use
entropy in IndisputableMonolith.Thermodynamics.PartitionFunction decl_use