Manuscript VII-A@1 · VII-A.tex · corollary · 11da3fe6
Corollary
Restriction to a named Einstein–scalar coupling jet › Coupling expansion versus a scalar background · lines 1505–1515 · proof included or linked
The relational scalar of Theorem thm:second is invariant under the formal transformations admitted by when restricted to .
Proof. Theorem thm:second holds for arbitrary smooth . Proposition prop:jetstable shows that its restriction has an invariant domain.