(11steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
no
repeats
upto
1
1
1
1.
i:
2.
j:
3.
j-i = 0
4.
j
i
no_repeats(
;nil)
By:
ObviousConcl
Generated subgoals:
None
About:
(11steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc