Encoding overhead (log-factor polynomials) are bounded across standard models, establishing practica...
This proposition has not been edited since the history system was added.