IndisputableMonolith.Unification.CouplingLaw

declarations in this module (20)

• def coshEnhancement L59
• def perturbativeCost L63
• def exactCost L66
• theorem exactCost_eq L68
• theorem coupling_identity L72
• theorem cosh_ge_one_plus_half_sq L90
• theorem cosh_gt_one_plus_half_sq L113
• theorem enhancement_ge_one L134
• theorem enhancement_gt_one L142
• theorem enhancement_at_zero L148
• theorem enhancement_symmetric L152
• theorem enhancement_near_one L160
• theorem enhancement_unbounded L183
• def geometricResidue L214
• structure PerturbativeResidue L217
• def recognitionStrength L222
• theorem coupling_law_determines_strength L232
• theorem structural_dominance L242
• structure CouplingLawCert L253
• theorem coupling_law_cert L265