da-agrees-on(da;k;T) == (
k 
dom(da)) 
T 
da(k)
Definitions :
implies: P Q,
assert: b,
fpf-dom: x dom(f),
ext-eq: A B,
fpf-ap: f(x),
Kind-deq: KindDeq
FDL editor aliases :
da-agrees-on
da-agrees-on(da;k;T) == (\muparrow{}k \mmember{} dom(da)) {}\mRightarrow{} T \mequiv{} da(k)
Date html generated:
2010_08_27-AM-12_04_11
Last ObjectModification:
2008_02_27-PM-09_50_36
Home
Index