theorem proved term proof

`cascadeThreshold_eq_inv_phi`

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

formal statement (Lean)

  37theorem cascadeThreshold_eq_inv_phi : cascadeThreshold = 1 / phi := rfl

Term-mode proof.

  38
  39/-- Cooperation cascade predicate: fraction above threshold. -/

Lean names referenced from this declaration's body.

cascadeThreshold in IndisputableMonolith.GameTheory.CooperationCascade decl_use