module My.SetTheory.Fin where

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

import My.SetTheory.Fin.Misc as MySTFM

open MySTFM public