pith. machine review for the scientific record. sign in
theorem other other

predicts

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)

  58theorem predicts perfect linear correlation under the binary
  59preference model.
  60-/
  61
  62namespace IndisputableMonolith
  63namespace Decision
  64namespace AbileneParadox
  65
  66open Constants Cost
  67
  68/-! ## §1. Agent type and σ-charge -/
  69
  70/-- A binary preference: `true = stay`, `false = go`. -/

used by (35)

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

… and 5 more

depends on (9)

Lean names referenced from this declaration's body.