(16steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: div rem unique 1 1 2 2 1 1 1 1
1. n:
2. x:
|n||xn|
By: Subst (|xn| = |x||n|) 0
Generated subgoals:

1 |xn| = |x||n|1 step
 
2 |n||x||n|2 steps

About:
intmultiplyequal

(16steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc