Documentation

Lean 4 Proof

theorem critical_supplier_threshold
    (J : ℕ) (ρ K : ℝ) (hρ : 0 < ρ) (hK : 0 < K) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/KnockoutHierarchy.lean:45

Module Section

## Proposition 4b.4: Critical Supplier Identification

In the same file