λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1

Counterterm equations

Scope, the Q03 record, and finite package semantics › Counterterm equations · lines 503–508

Back to manuscript

No full O.1 rank or original minor is deduced from the numbers 23 and 21.

Nearby in this section

  • section: Counterterm equations
  • proposition: Proposition: Presentation descent and residual coverage

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.