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

At: member upto 1 1 1
1. i:
2. j:
3. j-i = 0
4. k:
(k if i < j [i / upto(i+1;j)] else nil fi) ik & k < j
By: Obvious
Generated subgoals:

None

About:
consnilifthenelseintnatural_numberaddsubtractless_thanequaland

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