OAI/Combinatorics/SharpRamsey/Windows/
113 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- BalancedWindows.lean 16 declarations
- ExposureWindows.lean 9 declarations
- GoodPopulation.lean 12 declarations
- IntegerExperiment.lean 8 declarations
- IntegerOutput.lean 1 declarations
- IntegerQuarter.lean 1 declarations
- IntegerRealization.lean 1 declarations
- LogWindow.lean 1 declarations
- OpenExperiment.lean 9 declarations
- OpenMovement.lean 1 declarations
- OpenOutput.lean 1 declarations
- OpenQuarter.lean 1 declarations
- OpenRealization.lean 1 declarations
- PopulationSublist.lean 3 declarations
- PreparedWindows.lean 13 declarations
- SuppliedBook.lean 1 declarations
- UniformBook.lean 1 declarations
- UniformInteger.lean 1 declarations
- UniformMovement.lean 1 declarations
- UniformOpen.lean 1 declarations
- WindowChoices.lean 2 declarations
- WindowDeletion.lean 8 declarations
- WindowLayout.lean 14 declarations
- WindowPacking.lean 2 declarations
- WindowTransport.lean 4 declarations