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

At: finite-partition 1 1
1. k:
2. c: 0k
3. p: k( List)
4. j: k
5. x: ||p(j)||
6. (p(j))[x] < 0
p(j) 0 List
By: Obvious
Generated subgoals:

None

About:
listnatural_numberless_thanapplyfunctionmember

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