def
definition
def or abbrev
efolds_typical
show as:
view Lean formalization →
formal statement (Lean)
110noncomputable def efolds_typical : ℝ := 57
proof body
Definition body.
111
112/-! ## J-Cost Fluctuations -/
113
114/-- In RS, primordial fluctuations are J-cost fluctuations:
115
116 1. During inflation, the ledger undergoes quantum fluctuations
117 2. These manifest as J-cost variations: δJ ~ √(ℏ/τ₀)
118 3. The fluctuations freeze out as the universe expands
119 4. Later, they seed density perturbations -/