Nuprl Definition : es-interface-locs-list
es-interface-locs-list(es;X;S) == ∀e:E(X). (loc(e) ∈ S)
Definitions occuring in Statement :
es-E-interface: E(X),
es-loc: loc(e),
Id: Id,
l_member: (x ∈ l),
all: ∀x:A. B[x]
FDL editor aliases :
es-interface-locs-list
Latex:
es-interface-locs-list(es;X;S) == \mforall{}e:E(X). (loc(e) \mmember{} S)
Date html generated:
2015_07_20-PM-03_52_03
Last ObjectModification:
2012_02_25-PM-01_57_04
Home
Index