OFFSET
0,6
CROSSREFS
KEYWORD
nonn,less
AUTHOR
Jonathan Vos Post, Apr 15 2012
EXTENSIONS
Edited by Alois P. Heinz, Aug 15 2019
STATUS
approved