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