-- Finite combinatorics
-- 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.Combinatorics
import Basics
import InclusionExclusion
import Pigeonhole
import Binomial
import Functions
import Injections
import Permutations
import Fibonacci
import Partitions
import Lucas
import Vandermonde
import Catalan
import FallingBounds
import Derangements
import BinomialMore
import Stirling
import Multinomial
import RamseyPigeonhole
import RamseyChain
import RamseyInfinite
import NumberTheory.FibonacciGCD
import IntegerSum
import DivisorSums
import Moebius
import DivisorInterchange
import MoebiusInversion
import MoebiusMultiplicative
import CoprimeDivisors
import ErdosSzekeres
import DerangementFormula
import DerangementCount
import Ballot
import BallotProbability
import ParityAlternative