Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45
Boundary conversions
Stage 0: the frozen finite-domain package › Boundary conversions · lines 368–372
The lemma handles zero-boundary cases without division by zero and without an appeal to the external area-law assertion.