Naturals

{-# OPTIONS --rewriting --confluence-check #-}

module Properties.Flat.Naturals where
  open import Notation.Flat.Naturals public