OAI/Combinatorics/BalancedRyser/Profiles/
638 declarations, 0 contain sorry, 0 declared as axioms; 70 files
Files
- AnalyticDetection.lean 6 declarations
- ConditionalOrderDetection.lean 7 declarations
- DetectionThresholds.lean 8 declarations
- FiniteGridVanishing.lean 8 declarations
- LocalMarkedAnchors.lean 11 declarations
- MarkedExposure.lean 12 declarations
- MarkedExposureNumerics.lean 6 declarations
- PoissonProfile.lean 11 declarations
- PoissonProfile2.lean 10 declarations
- Profile.lean 19 declarations
- ProfileAmbientCompactness.lean 12 declarations
- ProfileClassLimits.lean 3 declarations
- ProfileClassMargin.lean 9 declarations
- ProfileCoefficients.lean 17 declarations
- ProfileCompactness.lean 7 declarations
- ProfileContinuity.lean 10 declarations
- ProfileCoordinates.lean 13 declarations
- ProfileCountingAssembly.lean 2 declarations
- ProfileCountingEndpoint.lean 4 declarations
- ProfileDetection.lean 18 declarations
- ProfileDetectionBridge.lean 8 declarations
- ProfileDetectionConcentration.lean 10 declarations
- ProfileDetectionLimit.lean 12 declarations
- ProfileDetectionNull.lean 1 declarations
- ProfileDetectionSource.lean 2 declarations
- ProfileEmpirical.lean 17 declarations
- ProfileEmpiricalMeasure.lean 15 declarations
- ProfileEmpiricalSupport.lean 7 declarations
- ProfileFiniteMarks.lean 6 declarations
- ProfileFiniteScheduledLemmas.lean 5 declarations
- ProfileGridCounting.lean 8 declarations
- ProfileGridDensity.lean 3 declarations
- ProfileGridDetection.lean 34 declarations
- ProfileGridFiniteIdentity.lean 3 declarations
- ProfileGridMeasures.lean 16 declarations
- ProfileGridProducts.lean 9 declarations
- ProfileHypergeometric.lean 7 declarations
- ProfileIdentifiability.lean 7 declarations
- ProfileLimitLaws.lean 3 declarations
- ProfileMarginalContinuity.lean 7 declarations
- ProfileMarginalLimitTV.lean 4 declarations
- ProfileMarginalLimits.lean 10 declarations
- ProfileMarginalTV.lean 15 declarations
- ProfileMarkLimit.lean 2 declarations
- ProfileMarkedError.lean 6 declarations
- ProfileMarkedOrders.lean 26 declarations
- ProfileMarksLimit.lean 4 declarations
- ProfileMeans.lean 6 declarations
- ProfileMomentCompactness.lean 16 declarations
- ProfileOrderComplements.lean 9 declarations
- ProfileParameterGrids.lean 9 declarations
- ProfileParameterLaw.lean 11 declarations
- ProfilePoissonLemmas.lean 10 declarations
- ProfileScheduledApproximation.lean 8 declarations
- ProfileScheduledMargin.lean 9 declarations
- ProfileScheduledMarks.lean 29 declarations
- ProfileShrinkingExceptions.lean 7 declarations
- ProfileSourceMarkLiminf.lean 3 declarations
- ProfileSourceMarkLimit.lean 3 declarations
- ProfileTargetExclusion.lean 9 declarations
- ProfileVisibility.lean 18 declarations
- ProfileVisibilityConcrete.lean 7 declarations
- ProfileWeakCompactness.lean 7 declarations
- ProfileWeakDetection.lean 10 declarations
- ProfileWeakLimits.lean 6 declarations
- ProfileWitnessPayment.lean 13 declarations
- RobustFromProfileCounting.lean 1 declarations
- StrictOrderMarkedExposure.lean 3 declarations
- UniformDetectionMargin.lean 2 declarations
- WitnessDetection.lean 2 declarations