Manuscript XIV-G@1 · XIV-G.tex · section · 791c6644
Individual leading symbols
A factorwise pullback audit within G2 › Individual leading symbols · lines 1427–1432
No integration over the two tangent-defect directions occurs in this proof. Each factor is examined on its own regular conormal relation.