Manuscript XIII-D@1 · XIII-D.tex · section · bab69024
XIII-C: the quantum stop
Copied prerequisite sheet › XIII-C: the quantum stop · lines 377–380
No quantum extension premise is used in the classical proof.
Manuscript XIII-D@1 · XIII-D.tex · section · bab69024
Copied prerequisite sheet › XIII-C: the quantum stop · lines 377–380
No quantum extension premise is used in the classical proof.