OAI/MeasureTheory/Falconer/Shells/
442 declarations, 0 contain sorry, 0 declared as axioms; 130 files
Files
- ActualComparableShellDistance.lean 1 declarations
- ActualComparableShellNormalized.lean 1 declarations
- ActualComparableShellRebin.lean 1 declarations
- ActualHighShellEquation21.lean 1 declarations
- ActualHighShellInverse.lean 1 declarations
- ActualRestorationBound.lean 3 declarations
- AngularLengthShellCover.lean 3 declarations
- AngularShellEnergy.lean 5 declarations
- AssemblyErrorBound.lean 3 declarations
- AssemblyLosses.lean 5 declarations
- ClassPairDistance.lean 5 declarations
- ClassPairShell.lean 1 declarations
- ContinuousCoefficientShell.lean 2 declarations
- DecayEndgame.lean 3 declarations
- DescriptorShellRegime.lean 4 declarations
- DistanceInverse.lean 5 declarations
- DistanceLinearization.lean 4 declarations
- EndpointWeightedDistance.lean 7 declarations
- FarPositiveSum.lean 3 declarations
- FilteredClassShell.lean 2 declarations
- FilteredEndpointDistance.lean 3 declarations
- FilteredShellEndgame.lean 1 declarations
- FiniteShellIntegrability.lean 2 declarations
- FiniteShellSum.lean 3 declarations
- FiniteSpatialScalarShell.lean 1 declarations
- FiniteSpatialShell.lean 2 declarations
- FiniteWeightedShell.lean 1 declarations
- FrequencyShell.lean 5 declarations
- HalfDimensionalShell.lean 4 declarations
- HighShellCoefficientBounds.lean 4 declarations
- HighShellCone.lean 3 declarations
- HighShellEndpointTerms.lean 5 declarations
- HighShellEquation21.lean 1 declarations
- HighShellErrorPower.lean 1 declarations
- HighShellFiniteSeparation.lean 1 declarations
- HighShellFourierError.lean 3 declarations
- HighShellKernelTerms.lean 4 declarations
- HighShellLeibnizSymbols.lean 7 declarations
- HighShellMainEnergy.lean 1 declarations
- HighShellMeasurable.lean 1 declarations
- HighShellMixture.lean 7 declarations
- HighShellNormalization.lean 6 declarations
- HighShellOrderForm.lean 3 declarations
- HighShellParentEnergy.lean 3 declarations
- HighShellProfileMass.lean 3 declarations
- HighShellRadialBounds.lean 2 declarations
- HighShellSeparatedTerms.lean 4 declarations
- HighShellStationaryScale.lean 4 declarations
- HighShellSubpower.lean 2 declarations
- HighShellSupremum.lean 4 declarations
- InverseClassShell.lean 1 declarations
- InverseEnvelopeShell.lean 1 declarations
- InverseScalarShell.lean 1 declarations
- InverseShell.lean 1 declarations
- InverseShellIntegrability.lean 1 declarations
- ListWeightedShell.lean 1 declarations
- LocalizedScalarShell.lean 3 declarations
- MaskedDistanceBounds.lean 3 declarations
- MaskedScalarShell.lean 1 declarations
- MonotoneShellCriterion.lean 6 declarations
- MonotoneShellVariation.lean 7 declarations
- NormalizedHighShellError.lean 3 declarations
- NormalizedHighShellKernel.lean 4 declarations
- NormalizedOuterShell.lean 3 declarations
- NormalizedShellCoefficients.lean 2 declarations
- OriginalClassDistance.lean 5 declarations
- OriginalInverseStateShell.lean 2 declarations
- OriginalShellIntegral.lean 2 declarations
- PartitionEndpointDistance.lean 5 declarations
- PolicyPositiveBand.lean 6 declarations
- PolicyPositiveBranches.lean 9 declarations
- PolicyPositiveRecurrence.lean 1 declarations
- PolicyPrefixShell.lean 2 declarations
- PositiveKernel.lean 2 declarations
- PositiveLowFrequency.lean 1 declarations
- PositiveRestriction.lean 5 declarations
- PositiveSpatialKernel.lean 2 declarations
- PositiveSuffix.lean 8 declarations
- PositiveTerminal.lean 4 declarations
- PositiveTests.lean 6 declarations
- PrefixHighShell.lean 2 declarations
- PreparedEndgame.lean 1 declarations
- PublishedClassicalDistance.lean 2 declarations
- RadialShellMass.lean 3 declarations
- RegularClassShell.lean 1 declarations
- RegularOuterShell.lean 1 declarations
- RegularRestrictedShell.lean 1 declarations
- RegularizationScalarShell.lean 1 declarations
- RestorationPowerRate.lean 1 declarations
- RestorationSubpower.lean 3 declarations
- RestoredMaskCoverage.lean 4 declarations
- RestoredShellCandidates.lean 7 declarations
- RootEndpointData.lean 10 declarations
- RootEndpointTerms.lean 7 declarations
- RootHighShellInverse.lean 1 declarations
- RootShellData.lean 13 declarations
- RootShellMain.lean 1 declarations
- RootShellMixture.lean 7 declarations
- RootShellOrder.lean 3 declarations
- RotatedInverseShell.lean 5 declarations
- ScalarPositiveZoom.lean 2 declarations
- ScalarShellError.lean 2 declarations
- ShellApproximationError.lean 2 declarations
- ShellErrorSummability.lean 3 declarations
- ShellFrequencyEnergy.lean 6 declarations
- ShellFrequencyTests.lean 3 declarations
- ShellKernels.lean 11 declarations
- ShellMixtures.lean 4 declarations
- ShellMultipliers.lean 2 declarations
- ShellNonstationary.lean 2 declarations
- ShellReconstruction.lean 4 declarations
- ShellSummability.lean 5 declarations
- ShellTestConvergence.lean 1 declarations
- Shells.lean 12 declarations
- SmoothShellDomination.lean 2 declarations
- SmoothShellPartition.lean 13 declarations
- SpatialSharedShell.lean 4 declarations
- TwoProfileInverseShell.lean 3 declarations
- TwoProfileMaskedShell.lean 1 declarations
- TwoRootApproximations.lean 3 declarations
- TwoRootCandidates.lean 5 declarations
- TwoRootClassMixture.lean 8 declarations
- TwoRootMaskCoverage.lean 1 declarations
- TwoRootMasks.lean 13 declarations
- TwoRootMixtureFinite.lean 2 declarations
- TwoRootRestoration.lean 1 declarations
- TwoRootShellDecay.lean 1 declarations
- TwoSidedShell.lean 1 declarations
- UnitPairEndgame.lean 1 declarations
- WeightedHighShellInverse.lean 1 declarations