Nuprl Definition : non-void-decl
non-void(d) == ∀x∈dom(d). A=d(x) ⇒ A
Definitions occuring in Statement :
fpf-all: ∀x∈dom(f). v=f(x) ⇒ P[x; v]
FDL editor aliases :
non-void-decl
Latex:
non-void(d) == \mforall{}x\mmember{}dom(d). A=d(x) {}\mRightarrow{} A
Date html generated:
2016_05_16-AM-11_31_53
Last ObjectModification:
2012_02_25-AM-11_12_57
Theory : event-ordering
Home
Index