d1 
d2 == 
as:A List. (data-stream(d1;as) = data-stream(d2;as))
Definitions :
data-stream: data-stream(P;L),
list: type List,
equal: s = t,
all: x:A. B[x]
FDL editor aliases :
dataflow-equiv
d1 \mequiv{} d2 == \mforall{}as:A List. (data-stream(d1;as) = data-stream(d2;as))
Date html generated:
2010_08_27-AM-12_18_39
Last ObjectModification:
2010_07_05-PM-03_54_07
Home
Index