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