{-# OPTIONS --exact-split #-}
module ZF.Foundation.Axiom where

open import ZF.Foundation.Axiom.Base public
open import ZF.Foundation.Axiom.ZF public
open import ZF.Foundation.Axiom.Properties public
