Manuscript XVI-H@1 · XVI-H.tex · section · af895076
Source premise
Setting and inherited interfaces › Source premise · lines 414–421
The coefficient description motivates the imported bulk premise. It is not substituted for a curvature expansion proved here. In particular, the degree audit below proves the assertion for the displayed switch correction and uses the bulk assertion as an input XVIB,XVIHvThree,XIID.