Manuscript Oai280-A@1 · Oai280-A.tex · section · 27038823
Verification declaration
Source attribution and release declarations › Verification declaration · lines 2023–2035
No successful execution, Lean checking,
script execution, independent supplied-manuscript verification,
laboratory calibration, experimental dataset, referee approval,
or journal acceptance is asserted.
The source file is written for pdfLaTeX with a self-contained bibliography. Compilation instructions are instructions, not an execution report. The locally claimed results are the explicit implications proved above.