E:TaggedEventStruct. PTrue fuses Causal(E)P:(T
), L2,L1:T List. L1 
L2 
filter(P;L1) filter(P;L2)| Theorem | Name |
|
Thm* E:TaggedEventStruct. PTrue fuses Causal(E) | [causal_fusion] |
| cites | |
|
Thm* P:(T), L2,L1:T List. L1 L2 filter(P;L1) filter(P;L2) | [filter_iseg] |