IndisputableMonolith.Engineering.RoomTempSuperconductivityStructure

declarations in this module (24)

• def E_coh L51
• theorem rs_coherence_quantum_pos L54
• def thermal_ratio_room_temp L61
• theorem thermal_ratio_lt_one L65
• theorem thermal_ratio_pos L70
• def T_c_rung L79
• theorem tc_rung_pos L82
• theorem phi_ladder_tc_monotone L88
• theorem phi_ladder_unbounded L97
• def superconducting_gap L110
• theorem superconducting_gap_positive L114
• theorem gap_zero_above_tc L124
• theorem gap_max_at_zero L131
• def ambient_sc_condition L140
• theorem ambient_superconductivity_possible L144
• theorem cooper_pair_binding_exceeds_thermal L152
• structure CoherenceCoupling L165
• theorem coherent_material_has_positive_tc L175
• theorem coherent_coupling_pos L179
• theorem room_temperature_superconductivity_from_ledger L187
• theorem room_temp_superconductivity_structure L197
• def predicted_tc_ratio L205
• theorem tc_ratio_formula L208
• def en002_certificate L214