Manuscript X-E@1 · X-E.tex · section · 293fae6a
Route II rerun: the varied total action
E2: classical identity › Route II rerun: the varied total action · lines 887–893
This is X-A's plateau covariance lemma for the scalar Euler operator, rerun with the gravitational term and extended to the metric Euler operator. The gravitational term contributes no new defect: Lemma lem:invariance is exact, not an inheritance.