Manuscript X-Enter@1 · X-Enter.tex · hypothesis · 484b71bc

Hypothesis: Reference on the convolution witness orbit

Option B: conditional relational inputs › The missing classical reference · lines 804–814

X-Enter@1#hyp:reference

Back to manuscript

An independently defined second smeared coefficient is supplied, with a proved nonzero charge , such that

The definition and charge of belong to the upstream classical model, not to the Enter program.

Displayed formulas in this passage

  • unlabeled · line 808

Nearby in this section