λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript V-B@1 · V-B-v1.tex · section · 3fadc1ad

Admissibility on the declared solution spaces

Admissibility on the declared solution spaces · lines 585–589

Back to manuscript

These currents have the test-tensor type used by Fewster and Hunt FH. We do not use a radical-exhaustion theorem.

Nearby in this section

  • section: Admissibility on the declared solution spaces
  • definition: Definition: Compact-current representability

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.