Proof-theoretic characterizations of F use proof length, not machine input length, making machine-sp...
This proposition has not been edited since the history system was added.