OFFSET
1,3
COMMENTS
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Herbert Eberle, Mar 15 2022
STATUS
approved