(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: div rem sum 1

1. a:
2. n:

a = (a n)n+(a rem n)

By: divideRemainderSum ;

Generated subgoals:

1 a = a
2 n 0


About:
intnatural_numberaddmultiplydivideremainderequal

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc