module online-encyclopedia-of-integer-sequences where

open import online-encyclopedia-of-integer-sequences.oeis public