Manuscript Oai069-A@1 · Oai069-A.tex · section · a4913aab
The simultaneous certificate
Complete coverage and simultaneous finite-confidence certification › The simultaneous certificate · lines 1243–1249
The proof re-establishes the finite-confidence and complete-accounting interfaces compared in Oai265-B, Oai280-C, and Oai290-A Cheung265B,Cheung280C,Cheung290A. No data are reported as collected.