OFFSET
1,1
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
Definition corrected by Georg Fischer, Aug 06 2021
STATUS
approved