Documentation

Lean 4 Proof

theorem selection_bias_toward_substitutes
    {ρ_observed ρ_true : ℝ}
    (hselection : ρ_true < ρ_observed) :
    -- The observed ρ overestimates the population ρ
    ρ_true < ρ_observed := hselection

Dependency Graph

Location

thesis/CESProofs/Foundations/CESEstimation.lean:430

Module Section

CES Estimation Theory: Connecting Theory to Data

In the same file