(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