Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45
A finite area-law record
Stage 0: the frozen finite-domain package › A finite area-law record · lines 390–395
No universal assertion about all such records is needed to construct or use an individual record. Product-state and dimer examples below have direct certificates.