(11steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
div
3
to
1
a:{...0}, b:{...-1}. (a
b) = ((-a)
(-b))
By:
UnivCD
Generated subgoal:
1
1.
a:
{...0}
2.
b:
{...-1}
(a
b) = ((-a)
(-b))
About:
(11steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
(a 
b) = ((-a) (-b)) 
a:{...0}, b:{...-1}. (a b) = ((-a) (-b)) (a b) = ((-a) (-b))
