-- Hausdorff's paradox: the sphere minus the countable set of points fixed
-- by nontrivial words in two rotations is paradoxical under SO3
-- 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.Geometry.Hausdorff
import Vectors3
import Hausdorff.Hom
import Hausdorff.FixedPoints
import Hausdorff.Countable
import Hausdorff.Paradox