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 894–900
Route B verifies Assumption ass:expansion directly from an exact integral or defined distributional representation. Changes of variables, derivative transposition, and tail control must concern the actual smoothing.