ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Sections
/ dmp_friction_lowers_reservation
dmp_friction_lowers_reservation
theorem
proved
CES Potential
Dependency Graph
Location
thesis/CESProofs/Potential/Welfare.lean
:156
In the same file
simplex_component_le_one
tsallis_nonneg
management_return_sign
productivity_dispersion_amplification
dispersion_increases_with_K
dmp_search_duration_pos
dmp_search_ces
dmp_search_complementarity_monotone
LyapunovProperty
dmp_standard_limit
convergenceRate
convergenceRate_nonneg
convergenceRate_pos
convergenceRate_at_critical
K_increases_with_complementarity