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

At: sum arith 1 1 1 1 1
z:. ((z2) rem 2) = 0
By:
Auto
THEN
Decide (0z)
Generated subgoals:

11. z:
2. 0z
((z2) rem 2) = 0		1 step
 
21. z:
2. 0z
((z2) rem 2) = 0		1 step

About:
intnatural_numbermultiplyremainderequalall

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