λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript Em02-E@1 · Em02-E-v1.tex · section · f3795050

The unsmeared scalar lapse

Complete classical lapse expansion › The unsmeared scalar lapse · lines 744–749

Back to manuscript

This tensor formula includes the mixed metric components and all scalar spatial gradients. No scalar-sector display is used as a substitute for the full coefficient.

Nearby in this section

  • section: The unsmeared scalar lapse
  • lemma: Lemma: Full-tensor lapse coefficients

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.