Nuprl - Pf append nil right identity

(4steps) PrintForm Definitions list 3 jlc Sections Support(jlc) Doc

At: append nil right identity

T:Type, L:T List. (L @ nil) = L

By: UnivCD

Generated subgoal:

1 1. T: Type
2. L: T List
(L @ nil) = L

About:

(4steps) PrintForm Definitions list 3 jlc Sections Support(jlc) Doc