{-# OPTIONS --exact-split --safe --prop #-}
module Data.Nat.Arithmetic.Subtraction where

open import Data.Nat.Arithmetic.Subtraction.Definition public
open import Data.Nat.Arithmetic.Subtraction.Property public
