Philosophical claims about theorems' generality should match how they're formally presented to avoid...
This proposition has not been edited since the history system was added.