λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript X-F-ST@1 · X-F-ST.tex · section · e71f03ef

The scalar fixed-support sheet

Topology, support transport, and diagnostic checks › The scalar fixed-support sheet · lines 1991–1996

Back to manuscript

These are the directly applicable X-D-ST topology and reduction facts XDST. Its width-removal theorem is not used.

Nearby in this section

  • section: The scalar fixed-support sheet
  • lemma: Lemma: Closed equation subspace and reduction

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.