OAI/Combinatorics/BalancedRyser/Selection/
705 declarations, 0 contain sorry, 0 declared as axioms; 79 files
Files
- CensoredDrift.lean 4 declarations
- DistinctInitialOccupancy.lean 5 declarations
- InitialOccupancyUniform.lean 2 declarations
- LineOccupancy.lean 13 declarations
- LineOccupancyAsymptotics.lean 5 declarations
- LineOccupancyConcentration.lean 8 declarations
- OccupancyClassVisibility.lean 9 declarations
- OccupancyFailureClass.lean 8 declarations
- OccupancyRowIntegral.lean 6 declarations
- OccupancyVisibility.lean 2 declarations
- OccupancyWitness.lean 5 declarations
- PlaneSelectionOccupancy.lean 8 declarations
- ProfileOccupancy.lean 3 declarations
- ProfileOccupancy2.lean 7 declarations
- RobustOccupancyAssembly.lean 2 declarations
- Selection.lean 14 declarations
- SelectionAuxiliaryBounds.lean 6 declarations
- SelectionAuxiliaryConcentration.lean 6 declarations
- SelectionAuxiliaryConditional.lean 4 declarations
- SelectionAuxiliaryDrift.lean 7 declarations
- SelectionAuxiliaryMeanBounds.lean 5 declarations
- SelectionAuxiliaryTracks.lean 16 declarations
- SelectionBarriers.lean 5 declarations
- SelectionCensorMassBounds.lean 8 declarations
- SelectionCensorProbability.lean 6 declarations
- SelectionCensoredJumps.lean 13 declarations
- SelectionCensoredMeans.lean 5 declarations
- SelectionCensoring.lean 20 declarations
- SelectionConcentrationAsymptotics.lean 7 declarations
- SelectionConcentrationReview.lean 1 declarations
- SelectionConcentrationUniform.lean 1 declarations
- SelectionConditionedLaw.lean 12 declarations
- SelectionCylinder.lean 28 declarations
- SelectionDraw.lean 16 declarations
- SelectionEndpoint.lean 1 declarations
- SelectionEndpoint2.lean 3 declarations
- SelectionFinalLaw.lean 20 declarations
- SelectionFirstAbort.lean 12 declarations
- SelectionFirstAbortFinal.lean 4 declarations
- SelectionFlagTail.lean 5 declarations
- SelectionHistory.lean 11 declarations
- SelectionHistoryFinalLaw.lean 4 declarations
- SelectionHistoryInvariant.lean 2 declarations
- SelectionHistoryMarginal.lean 5 declarations
- SelectionKernel.lean 1 declarations
- SelectionKernel2.lean 3 declarations
- SelectionLaw.lean 15 declarations
- SelectionLineCylinder.lean 5 declarations
- SelectionOccupancy.lean 18 declarations
- SelectionOccupancy2.lean 22 declarations
- SelectionOccupancyAgreement.lean 5 declarations
- SelectionOccupancyBound.lean 6 declarations
- SelectionOccupancyFinal.lean 4 declarations
- SelectionOccupancyTail.lean 11 declarations
- SelectionOccupancyTrack.lean 8 declarations
- SelectionOccupancyUniform.lean 2 declarations
- SelectionPostabort.lean 13 declarations
- SelectionPostcheckTail.lean 7 declarations
- SelectionPrecheck.lean 4 declarations
- SelectionProcess.lean 36 declarations
- SelectionProcessLaw.lean 24 declarations
- SelectionProcessOccupancy.lean 9 declarations
- SelectionProcessScales.lean 17 declarations
- SelectionProcessThinning.lean 16 declarations
- SelectionPushforward.lean 4 declarations
- SelectionPushforward2.lean 11 declarations
- SelectionScales.lean 13 declarations
- SelectionSourceConcentration.lean 10 declarations
- SelectionState.lean 15 declarations
- SelectionSuccessBound.lean 5 declarations
- SelectionSuccessUniform.lean 3 declarations
- SelectionTailCheck.lean 4 declarations
- SelectionTailCompletion.lean 24 declarations
- SelectionTailCylinder.lean 11 declarations
- SelectionTailNumerics.lean 2 declarations
- SelectionTailPotential.lean 6 declarations
- SelectionThinning.lean 27 declarations
- SelectionTrueCountConcentration.lean 4 declarations
- SelectionUniformAssembly.lean 6 declarations