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

At: div 2 to 1 1 1 1 1 1 1 1 1 1

1. a: {...0}
2. b:
3. (a b)-1 < -((-a) b)
4. -1+-((-a) b) < (a b)

(a b) = -((-a) b)

By: Auto

Generated subgoals:

None


About:
intnatural_numberminusaddsubtractdivideless_thanequal

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