F
M.a |
F 
FN.a | F
FM.a | F a | q & a | r FN.a | F Fconcl.a |= F 
r.N),concl > )F(M @ N).a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F 
P:(T
Prop), L,M:T List.
x(L @ M).P(x) 
xL.P(x) xM.P(x)
[-1]| 1 | 9. FM.a | F FN.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F |
About:
 |  |  |  |  |
 |  |  |  |