structure definition def or abbrev

`WaterProtocol`

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

formal statement (Lean)

 170structure WaterProtocol where
 171  /-- Measurement technique -/
 172  technique : String := "ultrafast_IR_spectroscopy"

proof body

Definition body.

 173  /-- Time resolution (femtoseconds) -/
 174  time_resolution : ℝ := 100
 175  /-- Conditions to compare -/
 176  conditions : List String := ["control", "near_meditator", "intention_target"]
 177
 178/-- Water structure predictions -/

depends on (4)

Lean names referenced from this declaration's body.

Time in IndisputableMonolith.Constants.RSNativeUnits decl_use
Measurement in IndisputableMonolith.Data.Import decl_use
Measurement in IndisputableMonolith.Measurement.RSNative.Core decl_use
Measurement in IndisputableMonolith.Quantum.NonlocalityNoSignaling decl_use