-- Fixed point theorems: Knaster–Tarski, the closed interval, Kuhn's lemma, and Brouwer for the cube and for products of simplices
-- 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.FixedPoint
import KnasterTarski
import Interval
import KuhnSimplex
import KuhnNeighbour
import KuhnFaces
import KuhnRotation
import KuhnTopFace
import KuhnFamily
import KuhnThrough
import KuhnLabel
import KuhnDoors
import KuhnParity
import KuhnWallFace
import KuhnExtend
import KuhnWallSimplex
import KuhnLift
import KuhnWallCount
import KuhnInduction
import CubeSequences
import CubeContinuity
import BrouwerGrid
import BrouwerCube
import CubeFunctions
import CubeMask
import CubeAssembly
import BlockSums
import WeightedSums
import BlockSimplex
import SimplexRetraction
import BrouwerSimplex