(13steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: pos mul arg bounds


a,b:. ab > 0 a > 0 & b > 0 a < 0 & b < 0

By: GenRepD

Generated subgoals:

11. a:
2. b:
3. ab > 0
a > 0 & b > 0 a < 0 & b < 0
21. a:
2. b:
3. a > 0 & b > 0 a < 0 & b < 0
ab > 0


About:
intnatural_numbermultiplyless_thanandorall

(13steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc