module My.SetTheory.Nat where

-- §──────────────────────────────────────────────────────────────────
-- Required modules
-- §──────────────────────────────────────────────────────────────────

import My.SetTheory.Nat.Cancellation as MySTNC
import My.SetTheory.Nat.Divisibility as MySTND
import My.SetTheory.Nat.IdentityElement as MySTNIE
import My.SetTheory.Nat.Irreducible as MySTNI
import My.SetTheory.Nat.Misc as MySTNM
import My.SetTheory.Nat.Order as MySTNO
import My.SetTheory.Nat.Prime as MySTNP
import My.SetTheory.Nat.TvD as MySTNTVD

open MySTNC public
open MySTND public
open MySTNI public
open MySTNIE public
open MySTNM public
open MySTNO public
open MySTNP public
open MySTNTVD public