(3steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: multiply nat wf

i,j:. ij
By:
UnivCD
THEN
Analyze
Generated subgoals:

11. i:
2. j:
ij
21. i:
2. j:
0ij

About:
intnatural_numbermultiplymemberall

(3steps) PrintForm Definitions int 2 Sections StandardLIB Doc