Polynomial-time function definitions are recursively constructive and model-independent; their total...
This proposition has not been edited since the history system was added.