Nuprl Definition : fpf-is-empty
fpf-is-empty(f) == (||fst(f)|| =z 0)
Definitions occuring in Statement :
length: ||as||,
eq_int: (i =z j),
pi1: fst(t),
natural_number: $n
FDL editor aliases :
fpf-is-empty
fpf-is-empty(f) == (||fst(f)|| =\msubz{} 0)
Date html generated:
2015_07_17-AM-09_16_08
Last ObjectModification:
2012_02_25-AM-11_06_01
Home
Index