Documentation

Lean 4 Proof

theorem herfindahl_predicts_cascade_risk
    (N : ℕ) (e : WeightedHierarchicalCESEconomy N) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/KnockoutHierarchy.lean:61

Module Section

## Corollary 4b.2: Herfindahl Predicts Cascade Risk

In the same file