Nuprl Definition : es-fset-loc
i ∈ locs(s) == ¬↑null(s@i)
Definitions occuring in Statement :
es-fset-at: s@i,
null: null(as),
assert: ↑b,
not: ¬A
FDL editor aliases :
es-fset-loc
es-fset-loc
i \mmember{} locs(s) == \mneg{}\muparrow{}null(s@i)
Date html generated:
2015_07_17-AM-09_00_51
Last ObjectModification:
2013_03_25-PM-01_55_20
Home
Index