OAI/Combinatorics/SharpRamsey/Selection/
169 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- BandCharges.lean 4 declarations
- DyadicGrid.lean 9 declarations
- EmptySupports.lean 2 declarations
- EndpointCurrent.lean 8 declarations
- EndpointSupports.lean 14 declarations
- FamilyAverages.lean 8 declarations
- FilteredPredeletion.lean 2 declarations
- FreshAccrual.lean 13 declarations
- FreshFamilies.lean 9 declarations
- FreshRepresentatives.lean 10 declarations
- HistoryLaw.lean 11 declarations
- LiveFamilies.lean 6 declarations
- LiveRealization.lean 3 declarations
- MixedLoss.lean 2 declarations
- NullFreeLaw.lean 7 declarations
- OriginalFamilies.lean 8 declarations
- PredeletionMean.lean 2 declarations
- ProducedSupportLoss.lean 5 declarations
- ScheduledBanks.lean 16 declarations
- SourceGridShape.lean 3 declarations
- SparseProductSharp.lean 2 declarations
- SupportIncidence.lean 6 declarations
- SupportThreshold.lean 4 declarations
- TableCompositions.lean 7 declarations
- UnifiedContext.lean 1 declarations
- UniversalTables.lean 7 declarations