Manuscript VII-I@1 · VII-I.tex · section · 907e96ab
A tree-composition lemma
Route B1b: a divergence-form density preparation › A tree-composition lemma · lines 868–872
The lemma is a tree statement. It does not define loops or the later grouped characteristic composition.