`ILG_w_t_display`

definition

show as: view math explainer →

module: IndisputableMonolith.TruthCore.ILGDisplay
domain: TruthCore
line: 9 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.TruthCore.ILGDisplay on GitHub at line 9.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

   6
   7noncomputable section
   8
   9@[simp] noncomputable def ILG_w_t_display
  10  (P : IndisputableMonolith.Gravity.ILG.Params)
  11  (B : IndisputableMonolith.Gravity.ILG.BridgeData) (Tdyn : ℝ) : ℝ :=
  12  IndisputableMonolith.Gravity.ILG.w_t_display P B Tdyn
  13
  14end
  15
  16end TruthCore
  17end IndisputableMonolith

papers checked against this theorem

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