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

At: list length non negative 1
1. T: Type
2. L: T List

00
By: Reduce 0
Generated subgoals:

None

About:
listnatural_numberuniverse

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