`BookProof.ChapterU.portfolio_std_inv_sqrt` {n : ℕ} (hn : 0 < n) (X : Fin n → Ω → ℝ) (σ : ℝ) (hσ : 0 ≤ σ) (P : Measure Ω) [IsProbabilityMeasure P] (hindep : ProbabilityTheory.iInde

Initializing...

`BookProof.ChapterU.portfolio_std_inv_sqrt` {n : ℕ} (hn : 0 < n) (X : Fin n → Ω → ℝ) (σ : ℝ) (hσ : 0 ≤ σ) (P : Measure Ω) [IsProbabilityMeasure P] (hindep : ProbabilityTheory.iInde · Prove2Me