a:A fp-> B[a] == d:A List 
(a:{a:A| (a 
d)} 
B[a])
Definitions :
product: x:A B[x],
list: type List,
function: x:A B[x],
set: {x:A| B[x]} ,
l_member: (x l)
FDL editor aliases :
fpf
a:A fp-> B[a] == d:A List \mtimes{} (a:\{a:A| (a \mmember{} d)\} {}\mrightarrow{} B[a])
Date html generated:
2010_08_26-PM-11_43_19
Last ObjectModification:
2008_02_27-PM-09_35_58
Home
Index