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