λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d

All five clauses of the joint-map class

Patch J: the target, blocks, stress, and map clauses › All five clauses of the joint-map class · lines 1732–1736

Back to manuscript

{Defines in the source. XIV-J.tex; def:mapclass; reported lines 732–762.}

Nearby in this section

  • definition: Definition: Joint-map class; transcribed
  • section: All five clauses of the joint-map class

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.