OAI/MeasureTheory/DyadicAvoidance/
618 declarations, 0 contain sorry, 0 declared as axioms; 75 files
Files
- AdaptiveLabels.lean 4 declarations
- AddressInjectivity.lean 5 declarations
- CenterExposure.lean 5 declarations
- CenterFailureBound.lean 3 declarations
- CenterFirstDefault.lean 5 declarations
- CenterNoDefaultMass.lean 3 declarations
- CenterRouteExposure.lean 19 declarations
- ChildDistribution.lean 2 declarations
- ConcreteLabelMeasures.lean 20 declarations
- ConcreteWindowAtom.lean 4 declarations
- Construction.lean 1 declarations
- DyadicRoutedAddresses.lean 1 declarations
- ExceptionalCenters.lean 10 declarations
- ExceptionalExpectation.lean 2 declarations
- ExpectedRepair.lean 2 declarations
- ExposureMoments.lean 3 declarations
- ExposureUnionBound.lean 3 declarations
- FiniteLocalHit.lean 2 declarations
- FiniteLocalPredicate.lean 4 declarations
- FiniteTableFirstDefault.lean 1 declarations
- FiniteTableModel.lean 33 declarations
- FirstDefault.lean 22 declarations
- FirstDefaultSelection.lean 7 declarations
- FixedScaleProbability.lean 4 declarations
- GlobalFromPeriodic.lean 9 declarations
- GridGeometry.lean 17 declarations
- GridMeasure.lean 7 declarations
- GridModelStability.lean 2 declarations
- GridSeparation.lean 29 declarations
- GridStability.lean 10 declarations
- GridStabilityFin.lean 2 declarations
- GridWindowStability.lean 1 declarations
- LocalPredicateFactor.lean 8 declarations
- Main.lean 2 declarations
- Model.lean 1 declarations
- MonotoneRepresentatives.lean 11 declarations
- OrderedRoutePreservation.lean 4 declarations
- OrderedRouting.lean 9 declarations
- PackedWindowSpan.lean 12 declarations
- PeriodicBasic.lean 2 declarations
- PeriodicEnlargement.lean 4 declarations
- PeriodicEnvelope.lean 5 declarations
- PeriodicMeasure.lean 7 declarations
- PreorderIndex.lean 5 declarations
- RandomSetDensity.lean 8 declarations
- RawRepair.lean 1 declarations
- RepresentativeFailure.lean 5 declarations
- RoutedAddressInjectivity.lean 2 declarations
- RoutedExposure.lean 6 declarations
- RoutedFirstDefault.lean 2 declarations
- RoutedSetDensity.lean 13 declarations
- RoutingBudget.lean 3 declarations
- RoutingPath.lean 21 declarations
- SelectedCoordinateLaw.lean 1 declarations
- SelectorMoment.lean 5 declarations
- StableKeyRouting.lean 2 declarations
- StableRoutingBridge.lean 5 declarations
- TreePreorder.lean 21 declarations
- TreePreorderRank.lean 24 declarations
- TreeSpanBridge.lean 15 declarations
- TrialAddresses.lean 14 declarations
- WindowBudgets.lean 9 declarations
- WindowData.lean 13 declarations
- WindowDataExistence.lean 7 declarations
- WindowDataStability.lean 1 declarations
- WindowExceptionalTransfer.lean 5 declarations
- WindowFixedScale.lean 1 declarations
- WindowLocalFactor.lean 4 declarations
- WindowLocalHit.lean 3 declarations
- WindowMetadata.lean 20 declarations
- WindowPlacement.lean 36 declarations
- WindowRecursion.lean 23 declarations
- WindowSpanSum.lean 15 declarations
- WindowTableModel.lean 11 declarations
- WindowTrialAddresses.lean 10 declarations