IndisputableMonolith.Papers.GCIC.Thermodynamics

declarations in this module (16)

• lemma log_phi_gt_048 L21
• lemma log_phi_lt_0483 L26
• def gcic_stiffness L33
• theorem gcic_stiffness_pos L35
• theorem gcic_stiffness_bounds L41
• def phase_barrier L51
• theorem phase_barrier_pos L54
• theorem phase_barrier_lower L64
• theorem phase_barrier_upper L78
• def mf_critical_temperature L109
• theorem mf_critical_temperature_pos L111
• theorem mf_critical_temperature_bounds L117
• theorem mf_temp_eq_six_kappa L126
• theorem noncompact_uniform_convexity L132
• theorem jlog_above_half_square L136
• theorem gcic_thermodynamics_cert L141