Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607
Locally proved identities that an audit may use
Stage 1: finite identities and the five-stage audit › Locally proved identities that an audit may use · lines 507–511
This finite identity does not identify any limiting edge measure or establish tightness.