Grace/Cumulus/Cardinal.g17

Open in Workbench Download source

Imports

Hartogs · Countable · LeastCode · Enumeration · FiniteUnion · FiniteSubsets · PermutationExchange · InversionExchange · CountableClosure · PowersetCount · Dominance · NaturalSum · NaturalSumLaws · Pigeonhole · DoubleCounting · SumParity · Handshake · IndicatorSum · InclusionExclusion · Parity

Declarations

Source

1-- Cardinal theory2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Cardinal8import Hartogs9import Countable10import LeastCode11import Enumeration12import FiniteUnion13import FiniteSubsets14import PermutationExchange15import InversionExchange16import CountableClosure17import PowersetCount18import Dominance1920import NaturalSum21import NaturalSumLaws22import Pigeonhole23import DoubleCounting24import SumParity25import Handshake26import IndicatorSum27import InclusionExclusion28import Parity29