Comment Comment by Koshkin > > "If X is greater than 10, X is greater than 20" theoremsI think I have seen theorems of that sort. (Can't think of a specific example right now.) parent Koshkin 3 years ago
I think I have seen theorems of that sort. (Can't think of a specific example right now.)