`shared_coupling`

proved

show as: view math explainer →

module: IndisputableMonolith.Gravity.EightTickResonance
domain: Gravity
line: 214 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Gravity.EightTickResonance on GitHub at line 214.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

C_lag IndisputableMonolith.Gravity.EightTickResonance

formal source

 211  field_simp [hws_ne]
 212
 213/-- Both kernels share the coupling constant C_lag = phi^{-5}. -/
 214theorem shared_coupling : C_lag = phi⁻¹ ^ 5 := rfl
 215
 216end IndisputableMonolith.Gravity.EightTickResonance

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.