Manuscript Oai212-A@1 · Oai212-A.tex · section · 79323841
External record versus mathematical premise
Status, dependencies, and the exact claim being submitted › External record versus mathematical premise · lines 128–134
The existence of the norm and the standard shape theorem are established classical inputs, distinct from Definition def:external CoxDurrett,ADH.