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

At: rem 2 to 1 1 1 1

1. a: {...0}
2. n:

a-(-((-a) n))n = -(-a-((-a) n)n)

By: Auto

Generated subgoals:

None


About:
intnatural_numberminussubtractmultiplydivideequal

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