Substantial portions are not all portions—key classical results (e.g., uncountability theorems) rema...
This proposition has not been edited since the history system was added.