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

At: append associative 1 1
1. T: Type
2. L1: T List
3. L2: T List
4. L3: T List

(nil @ L2 @ L3) = ((nil @ L2) @ L3)
By: Reduce 0
Generated subgoals:

None

About:
listniluniverseequal

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