(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
div
rem
unique
1
1
2
2
1
1
1
1
1
1.
n:
2.
x:
|x
n| = |x|
|n|
By:
BackThru
Thm*
a,b:
. |a
b| = |a|
|b|
Generated subgoals:
None
About:
(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
|x
n| = |x||n|
a,b:. |ab| = |a||b|
