λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript X-A-conv@1 · X-A-conv.tex · section · c76fffa3

A genuine pure-gauge jet

The complete second-order pure-gauge test › A genuine pure-gauge jet · lines 1965–1970

Back to manuscript

This proof uses naturality of an auxiliary unregulated harmonic problem as an explicitly verified comparison. It does not assert naturality of q↦q​g,ε​.

Nearby in this section

  • section: A genuine pure-gauge jet
  • lemma: Lemma: Coordinate coefficients for the pure-gauge test

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.