-- Set theory
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Cumulus.Set
import Core
import Algebra
import Powerset
import Family
import Function.Image
import Function.Union
import Function.Projection
import Relation.Algebra
import Function.Space
import Ordinal.Basic
import Inclusion
import Involution
import Transposition
import Tuple
import Function.Triples