Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45
Boundary conversions
Stage 0: the frozen finite-domain package › Boundary conversions · lines 346–351
The factor would generally be false if meant only the inner endpoint set. Similar notation is not a license to change a boundary convention.