OFFSET
0,2
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
Definition corrected by Georg Fischer, Jan 20 2020
STATUS
approved