OFFSET
1,2
CROSSREFS
KEYWORD
nonn,base
AUTHOR
EXTENSIONS
Definition corrected by Georg Fischer, Mar 01 2021
STATUS
approved