(5steps total) PrintForm graph 1 1 Sections Graphs Doc

At: append is singleton 1
1. T: Type
2. a: T List
b:T List, x:T. [x] = b nil = nil T List & b = [x] b = nil & nil = [x]
By: Obvious
Generated subgoals:

None

About:
listconsniluniverseequalimpliesandorall

(5steps total) PrintForm graph 1 1 Sections Graphs Doc