λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript XII-E@1 · XII-E.tex · section · 9471ea56

The scalar-only second coefficient

E2: the sheet, the two legs, and the scalar completion › The scalar-only second coefficient · lines 584–589

Back to manuscript

Lemma lem:affine is the double-count test: whatever is placed in the second slot of A2​sc contributes exactly A1​ of it, once.

Nearby in this section

  • section: The scalar-only second coefficient
  • lemma: Lemma: Affine slot identity

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.