A quadratic overhead is genuinely significant: f(n)² makes previously feasible space bounds (e.g., l...
This proposition has not been edited since the history system was added.