Utility in explicit calculation differs from utility in proof structure; lawless irrationals enable ...
This proposition has not been edited since the history system was added.