Many theorems genuinely apply broadly because their conditions are minimal; dismissing this as 'over...
This proposition has not been edited since the history system was added.