(New page: Is there a formal way of saying a<b and c<d implies ac<bd, like a theorem from algebra or something? Just wondering because I used it for my inductive step.) |
(Removing all content from page) |
||
| Line 1: | Line 1: | ||
| − | + | ||
(New page: Is there a formal way of saying a<b and c<d implies ac<bd, like a theorem from algebra or something? Just wondering because I used it for my inductive step.) |
(Removing all content from page) |
||
| Line 1: | Line 1: | ||
| − | + | ||
