OAI/Analysis/BernoulliCone/
1055 declarations, 0 contain sorry, 0 declared as axioms; 91 files
Files
- BoundedCalibration.lean 11 declarations
- CalibrationTraces.lean 7 declarations
- CapCalculus.lean 27 declarations
- CapExtension.lean 4 declarations
- CapFoliation.lean 11 declarations
- CapGeometry.lean 10 declarations
- ClampedFoliationGraph.lean 10 declarations
- ClampedGraphBound.lean 4 declarations
- ClampedSeam.lean 5 declarations
- ClosedGermExtension.lean 1 declarations
- CompactGradient.lean 2 declarations
- CompactLipschitzDivergence.lean 6 declarations
- CompactZeroFiber.lean 1 declarations
- ConePicone.lean 4 declarations
- CylindricalCalculus.lean 18 declarations
- DominatedVariation.lean 2 declarations
- ExteriorCalibration.lean 2 declarations
- FluxBounds.lean 4 declarations
- FluxBulk.lean 4 declarations
- FluxSeam.lean 7 declarations
- FoliationBulkGerm.lean 2 declarations
- FoliationDifferential.lean 10 declarations
- FoliationGraph.lean 7 declarations
- FoliationSeam.lean 2 declarations
- GlobalMinimizer.lean 2 declarations
- GroundState.lean 14 declarations
- HalfspaceDensity.lean 5 declarations
- HalfspaceDifferential.lean 6 declarations
- HalfspaceEnergy.lean 4 declarations
- HalfspaceGroundstate.lean 3 declarations
- HalfspacePullback.lean 9 declarations
- HalfspaceQuotient.lean 4 declarations
- HalfspaceUnitSlope.lean 2 declarations
- HarmonicCaccioppoli.lean 1 declarations
- HarmonicKernel.lean 23 declarations
- HarmonicRadial.lean 4 declarations
- HarmonicReplacement.lean 30 declarations
- HarmonicWeakLaplacian.lean 3 declarations
- HomogeneousCalculus.lean 3 declarations
- IntegralUpperLimit.lean 1 declarations
- IntegratedPrimitive.lean 15 declarations
- JointIntervalIntegral.lean 7 declarations
- LaplacianDilation.lean 1 declarations
- LipschitzProduct.lean 1 declarations
- LocalFluxExtensions.lean 4 declarations
- LowerComparison.lean 4 declarations
- LowerSupport.lean 169 declarations
- Main.lean 1 declarations
- MinimizerOuterVariation.lean 2 declarations
- MinimizerStationarity.lean 2 declarations
- Model.lean 12 declarations
- OuterGeometry.lean 19 declarations
- OuterSlope.lean 8 declarations
- PiecewiseFoliationGraph.lean 4 declarations
- PositiveFoliation.lean 3 declarations
- PositiveQuotient.lean 4 declarations
- PositiveTrace.lean 8 declarations
- PrimitiveBound.lean 9 declarations
- PrimitiveLocal.lean 7 declarations
- RadialShapeTest.lean 3 declarations
- RankOneDeterminant.lean 1 declarations
- RankOnePerturbation.lean 10 declarations
- ScalarImplicit.lean 3 declarations
- ScalarLaplacian.lean 7 declarations
- SeamCalibration.lean 8 declarations
- SeamHeight.lean 8 declarations
- ShapeDiffeomorphism.lean 7 declarations
- SmallPerturbation.lean 6 declarations
- SmoothIntervalPrimitive.lean 2 declarations
- SmoothLocalizedExtension.lean 2 declarations
- SobolevCalculus.lean 128 declarations
- SobolevIdeals.lean 15 declarations
- StationarityDensity.lean 4 declarations
- StationarityEnergy.lean 1 declarations
- StationarityIntegrability.lean 6 declarations
- StrictSlope.lean 5 declarations
- ThresholdRecovery.lean 18 declarations
- TraceBound.lean 6 declarations
- UpperCalibration.lean 6 declarations
- UpperComparison.lean 3 declarations
- UpperFamily.lean 18 declarations
- UpperFoliation.lean 7 declarations
- UpperLeaves.lean 10 declarations
- UpperLimits.lean 9 declarations
- UpperLipschitzComparison.lean 3 declarations
- UpperParameter.lean 2 declarations
- UpperSeam.lean 16 declarations
- UpperSmoothLeaves.lean 4 declarations
- UpperSupport.lean 169 declarations
- VerticalGraphLocalization.lean 5 declarations
- ZeroTrace.lean 8 declarations