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

At: rem rec case 1 1 1 1
1. a:
2. n:
3. an

a+-n+-n((a+-n) n) = a+-n+-n((a+-n) n)
By: Auto
Generated subgoals:

None

About:
intminusaddmultiplydivideequal

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