(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. ji
no_repeats(;nil)

By: ObviousConcl

Generated subgoals:

None

About:
nilintnatural_numbersubtractequal

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