λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript XVI-K@1 · XVI-K.tex · section · aa7553bb

Ambient scalar edge

Setting, explicit interfaces, and normalization › Ambient scalar edge · lines 497–501

Back to manuscript

Neither S nor DF​ is an object of the later extension problem. They are already global distributions.

Nearby in this section

  • section: Ambient scalar edge
  • lemma: Lemma: Global definition and inverse normalization

A searchable companion, not a proof checker. A restatement is not a verification, and results from one manuscript are not results of another. The registered manuscripts were produced by Ngo Cheung. The OpenAI section is a separate catalogue by OpenAI and is not a theorem of that series. Cite one registered manuscript as Cheung, N., with its identifier, at enter.grok.me.