OFFSET
0,5
CROSSREFS
KEYWORD
nonn
AUTHOR
Gabi Nebe (nebe(AT)math.rwth-aachen.de), Sep 03 2009
STATUS
approved