Manuscript Hawk02-A@1 · Hawk02-A.tex · section · 7fbae745
Reconstruction descent is a necessary test
Stage 4: renormalization and characteristic admission › Reconstruction descent is a necessary test · lines 1290–1297
This is the interface recorded in XIV-J
CheungXIVJ ({prop:descent}). Agreement with canonical
composition on an open subset proves only the restricted
condition: a distribution supported on the omitted locus is
invisible there.