ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Sections
/ superadditivity_reverses_substitutes
superadditivity_reverses_substitutes
theorem
proved
CES Potential
Dependency Graph
Location
thesis/CESProofs/Potential/SubstituteRegime.lean
:315
In the same file
curvatureK_neg_substitute
curvatureK_abs_substitute
eigenvalue_perp_pos_substitute
cesHessianQF_pos_semidef_substitute
cesHessianQF_pos_on_perp
subadditivity_qualitative
hessianQF_eq_negK_norm
strategic_instability
specializationRatio
specialization_dominates
diversification_dominates
boundary_indifference
regime_trichotomy
manipulation_magnitude
escort_amplifies_leader
escort_compresses_leader
correlation_amplification_substitutes