Manuscript En05-C@1 · En05-C.tex · section · aa213ea6
Legal reorderings
Stage F: ancestry, matched replacements, and metric bounds › Legal reorderings · lines 1612–1619
With complete local records and their dependencies included, this also preserves the joint labelled record law. It does not assert boost covariance or unrestricted inter-frame device composition.