fpf-is-empty(f) == (||fst(f)|| =
0)
Definitions :
eq_int: (i = j),
length: ||as||,
pi1: fst(t),
natural_number: $n
FDL editor aliases :
fpf-is-empty
fpf-is-empty(f) == (||fst(f)|| =\msubz{} 0)
Date html generated:
2010_08_26-PM-11_44_04
Last ObjectModification:
2008_02_27-PM-09_37_14
Home
Index