`OAI/RepresentationTheory/UniversalSquare/Capacity/`

92 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

Capacity.lean 16 declarations
CapacityDichotomy.lean 2 declarations
Intermediate.lean 26 declarations
NumericBands.lean 8 declarations
RefinedCapacity.lean 6 declarations
RefinedExhaustion.lean 16 declarations
RegionExhaustion.lean 11 declarations
SentinelExhaustion.lean 7 declarations