λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

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

A classical input not on XII-D's list

Release criteria and copied inputs › A classical input not on XII-D's list · lines 420–423

Back to manuscript

X-A's quantum, admission, and sharp-limit statements are not used.

Nearby in this section

  • section: A classical input not on XII-D's list
  • input: Input statement: X-A: scalar completion and its covariance

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.