OAI/MeasureTheory/FalconerCompletion/Angular/
310 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- AngularDerivativeStar.lean 7 declarations
- AngularHCongr.lean 2 declarations
- AngularHFSmul.lean 1 declarations
- AngularHFSmul2.lean 1 declarations
- AngularHTrivialBound.lean 1 declarations
- AngularOperator.lean 11 declarations
- AngularOperator2.lean 11 declarations
- AngularTransform.lean 1 declarations
- AngularWordOperatorBound.lean 16 declarations
- AssemblyEndpointNormLe.lean 19 declarations
- AssemblyInnerSymbol.lean 9 declarations
- CompactContDiffOnDerivativeBound.lean 1 declarations
- CompactContDiffOnDerivativeBound2.lean 2 declarations
- CompactContDiffOnDerivativeBound3.lean 2 declarations
- CompactMultiplierDerivativeBound.lean 1 declarations
- CompactMultiplierDerivativeBound2.lean 1 declarations
- CompactMultiplierDerivativeShift.lean 1 declarations
- ComplexRadialNormalization.lean 4 declarations
- ConeUnitCap.lean 4 declarations
- CoordNormBound.lean 12 declarations
- CoordNormBound2.lean 12 declarations
- EndpointMask.lean 9 declarations
- FarAngularEnergy.lean 8 declarations
- ImaginaryExponential.lean 7 declarations
- ImaginaryExponential2.lean 7 declarations
- InnerNormalizedOfClose.lean 17 declarations
- InverseAdd.lean 18 declarations
- InverseAngularTermPaid.lean 3 declarations
- InverseAngularTerms.lean 14 declarations
- InverseEndpointCoefficient.lean 11 declarations
- InverseEndpointCoefficientEq.lean 10 declarations
- NearAngularEnergyProfileBound.lean 9 declarations
- NearRetained.lean 5 declarations
- OrderedAngularAssignmentsSublist.lean 5 declarations
- PowerDivCap.lean 1 declarations
- RadialPhaseIntegral.lean 4 declarations
- RadialStationaryProfile.lean 12 declarations
- ResidualSourceSymbol.lean 6 declarations
- SpatialAngularKernelMeasurable.lean 3 declarations
- SumSqWedge.lean 3 declarations
- SumSqWedge2.lean 3 declarations
- SymbolMulDerivativeBound.lean 2 declarations
- TensorCapTsupportCoord.lean 25 declarations
- TwoProfileOuterAngularBound.lean 1 declarations
- TwoRpowNMul.lean 8 declarations