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

At: list all of false false

T:Type, L:T List, x:T. x(x.L).False False
By:
UnivCD
THEN
Rewrite (HigherC list_all_unrollC) 0
Generated subgoal:

11. T: Type
2. L: T List
3. x: T
False & xL.False False

About:
listconsuniverseandfalseall

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