OFFSET
0,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Benoit Cloitre, Jun 21 2003
EXTENSIONS
Definition adapted to data by Georg Fischer, May 10 2021
STATUS
approved