Content deleted Content added
migrate {{book reference}} to {{cite book}} using AWB |
→Proof: period |
||
Line 40:
We thus conclude that the machine ''K'' does not exist, and so
: <math> H_f \notin \mathsf{TIME}(f( \left\lfloor m/2 \right\rfloor ))
===Extension===
|