OAI/Geometry/CubicTorus/Estimates/
1589 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- BVAnnulusSelection.lean 36 declarations
- BVBallCalibration.lean 81 declarations
- BVBallProbability.lean 18 declarations
- BVGraphEnergy.lean 30 declarations
- BVGraphRescaling.lean 36 declarations
- BVInteriorMultiplier.lean 46 declarations
- BVLocalScaling.lean 28 declarations
- BVMovingTrappedDecay.lean 18 declarations
- BVOneDimensionalHat.lean 53 declarations
- BVPlanarLocalModels.lean 45 declarations
- BVRadial.lean 67 declarations
- BVSecondaryPlanarData.lean 21 declarations
- BVSharpUpperBound.lean 93 declarations
- BVTriangleRegion.lean 42 declarations
- ChainAcceleration.lean 59 declarations
- ChainMass.lean 87 declarations
- CirclePeriodize.lean 23 declarations
- ConeSlopeReciprocalArea.lean 37 declarations
- CoordinatePlaneRays.lean 49 declarations
- CorrectedChain.lean 45 declarations
- DifferenceStep.lean 26 declarations
- GraphInverseMetric.lean 24 declarations
- HolderNear.lean 43 declarations
- InteriorBallSubset.lean 21 declarations
- L2ReplacementBallBound.lean 27 declarations
- LatticeHeightHom.lean 30 declarations
- MinimizerLevelSliceIsoperimetric.lean 35 declarations
- NodalBalanceValue.lean 32 declarations
- PlanarRadialArea.lean 45 declarations
- PlaneQuadraticWeight.lean 39 declarations
- PlaneScaleEquiv.lean 30 declarations
- PlaneWeakGradient.lean 37 declarations
- RadialSectionArea.lean 41 declarations
- SliceJensenWeight.lean 34 declarations
- SmoothScalarSeparatedTrunc.lean 47 declarations
- SurfaceJet.lean 51 declarations
- TorusCoordinatePermute.lean 28 declarations
- TubeCalibration.lean 36 declarations
- UnitAngle.lean 49 declarations