Manuscript En06-B@1 · En06-B.tex · section · ee886ae8
Why the statement is not substrate-universal
Debugging audit and exact mathematical release › Why the statement is not substrate-universal · lines 2121–2126
Thus the availability of increasing short lattice generators cannot be removed from the theorem merely because every individual cardinal hop obeys the same Euclidean speed bound.