Nuprl - Pf length wf nat

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

At: length wf nat

T:Type, L:T List. ||L||

By: UnivCD

Generated subgoal:

1 1. T: Type
2. L: T List
||L||

About:

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