(9steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
absval
mul
2
1.
a:
2.
b:
3.
a = 0
|a
b| = |a|
|b|
By:
CaseNat 0 `b'
Generated subgoals:
1
4.
b = 0
|a
0| = |a|
|0|
1
step
2
4.
b = 0
|a
b| = |a|
|b|
5
steps
About:
(9steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
|a
0| = |a||0|
b = 0 |ab| = |a||b|
a = 0
|ab| = |a||b|
|a0| = |a||0|b = 0 |ab| = |a||b|
