Manuscript Em01-E@2 · Em01-E-v2.tex · section · 54f8f8c2
Route B: direct expansion of the complete family
Three sufficient verification routes › Route B: direct expansion of the complete family · lines 967–972
The lemma does not justify (eq:weightedrep); obtaining that exact representation is a separate task. It also does not control omitted sectors.