pith. machine review for the scientific record. sign in
structure definition def or abbrev

ModeRatioPrediction

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

 113structure ModeRatioPrediction where
 114  state : ConsciousnessState
 115  /-- Expected M2/M4 ratio range (low bound) -/
 116  ratio_low : ℝ
 117  /-- Expected M2/M4 ratio range (high bound) -/
 118  ratio_high : ℝ
 119  /-- Prediction confidence -/
 120  confidence : ℝ := 0.95

proof body

Definition body.

 121
 122/-- The predicted mode ratios for each state -/

used by (3)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (2)

Lean names referenced from this declaration's body.