`pathIntegralDeepCert_inhabited`

proved

show as: view math explainer →

module: IndisputableMonolith.Foundation.PathIntegralDeep
domain: Foundation
line: 66 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Foundation.PathIntegralDeep on GitHub at line 66.

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

  63  path_weight_max := path_weight_max_at_eq
  64  weight_one_at_eq := gaussian_approx_at_eq
  65
  66theorem pathIntegralDeepCert_inhabited : Nonempty PathIntegralDeepCert :=
  67  ⟨pathIntegralDeepCert⟩
  68
  69end
  70end PathIntegralDeep
  71end Foundation
  72end IndisputableMonolith

papers checked against this theorem

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