Nuprl Definition : ds-agrees-on
ds-agrees-on(ds;x;T) == (↑x ∈ dom(ds)) ⇒ T ≡ ds(x)
Definitions occuring in Statement :
fpf-ap: f(x),
fpf-dom: x ∈ dom(f),
id-deq: IdDeq,
assert: ↑b,
ext-eq: A ≡ B,
implies: P ⇒ Q
FDL editor aliases :
ds-agrees-on
ds-agrees-on(ds;x;T) == (\muparrow{}x \mmember{} dom(ds)) {}\mRightarrow{} T \mequiv{} ds(x)
Date html generated:
2015_07_17-AM-11_19_00
Last ObjectModification:
2012_02_25-AM-11_15_56
Home
Index