IndisputableMonolith.Nuclear.QCDToNuclearBridge

declarations in this module (19)

• def alpha_strong L29
• def stringTension L32
• def r0_fm L35
• theorem alpha_strong_pos L38
• theorem stringTension_pos L42
• theorem phi5_bounds L47
• theorem stringTension_bounds L57
• def cornellPotential L81
• theorem cornell_at_r0_formula L85
• theorem volumeCoeff_in_range L92
• theorem surfaceCoeff_gt_volumeCoeff L97
• theorem coulombCoeff_small L101
• def coulombCoeff_predicted L105
• theorem coulombCoeff_consistent L107
• def r_min L113
• theorem r_min_pos L116
• theorem alpha_over_sigma_pos L120
• theorem alpha_over_sigma_gt_one L125
• theorem strong_vs_em L139