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

At: pos mul arg bounds 2 2 1
1. a:
2. b:
3. a < 0
4. b < 0

(-a)(-b) > 0
By: BackThru Thm* a,b:. 0 < ab
Generated subgoals:

None

About:
intnatural_numberminusmultiplyless_than

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