Nuprl Definition : normal-ds
Normal(ds) == ∀x∈dom(ds). A=ds(x) ⇒ A
Definitions occuring in Statement :
fpf-all: ∀x∈dom(f). v=f(x) ⇒ P[x; v],
id-deq: IdDeq,
Id: Id
FDL editor aliases :
normal-ds
Normal(ds) == \mforall{}x\mmember{}dom(ds). A=ds(x) {}\mRightarrow{} A
Date html generated:
2015_07_17-AM-11_18_17
Last ObjectModification:
2012_02_25-AM-11_15_30
Home
Index