Optimal Redundancy Design

theorem trivial CES Potential

Documentation

Lean 4 Proof

theorem optimal_redundancy_design
    (J : ℕ) (ρ : ℝ) (reliability : Fin J → ℝ) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Potential/PrimalDual.lean:155

Module Section

## Knockout Robustness and Supply Chain Design

In the same file

weighted_curvature_conservation weighted_conservation_at_equal_weights dual_side_integration_boundary production_cost_tradeoff industrial_policy_rigidity reshoring_rigidity_corollary knockout_leontief_total expected_knockout_loss_nonneg_leontief knockout_driven_integration