OFFSET
1,2
COMMENTS
CROSSREFS
KEYWORD
nonn
AUTHOR
Rick L. Shepherd, Nov 09 2004
EXTENSIONS
Definition simplified by Ralf Stephan, Aug 28 2013
STATUS
approved