list
3
jlc
Sections
Support(jlc)
Doc
Theorem
Name
Thm*
P:(T
), L:T List.
x
L.P(x)
x
L.P(x)
[list_all_2_all]
cites
Thm*
p,q:
. (p
q)
p & q
[assert_of_band]
list
3
jlc
Sections
Support(jlc)
Doc
P:(T
), L:T List. x
L.P(x) 
xL.P(x)p,q:. (p
q) 
p & qP:(T), L:T List. xL.P(x) xL.P(x)p,q:. (pq) p & q