OAI/Geometry/IsometricImmersion/Caps/
461 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- ActualClassTwoSidedCauchy.lean 1 declarations
- ActualFiniteCapMetricBounds.lean 2 declarations
- ActualFiniteLowerCutBounds.lean 1 declarations
- ActualLowerCutImage.lean 3 declarations
- ActualOffPulseCauchy.lean 1 declarations
- ActualPulseCapSeparation.lean 2 declarations
- ActualUpperOffPulseCauchy.lean 1 declarations
- AllOrderCapEstimate.lean 1 declarations
- AllOrderPhysicalCap.lean 2 declarations
- BoundedClassCapData.lean 1 declarations
- BoundedClassCapRadius.lean 2 declarations
- BoundedClassReflection.lean 4 declarations
- BoundedPatchCauchy.lean 1 declarations
- C8ActualCapEstimate.lean 1 declarations
- CapAreaFormula.lean 5 declarations
- CapCutoffGeometry.lean 10 declarations
- CapCutoffRectangle.lean 10 declarations
- CapDensityBounds.lean 2 declarations
- CapEllipticOverlap.lean 8 declarations
- CapFlow.lean 1 declarations
- CapFlowCoordinateJets.lean 13 declarations
- CapFlowJetBounds.lean 10 declarations
- CapFlowUniqueness.lean 7 declarations
- CapGradientTransport.lean 7 declarations
- CapInductionData.lean 13 declarations
- CapInteriorEnergy.lean 6 declarations
- CapJacobian.lean 5 declarations
- CapL2Basics.lean 15 declarations
- CapOverlapCosts.lean 4 declarations
- CapReciprocalBounds.lean 5 declarations
- CapReflectionCalculus.lean 14 declarations
- CapReflectionGeometry.lean 38 declarations
- CauchyReflection.lean 6 declarations
- ConstructedCapArea.lean 2 declarations
- ConstructedCapGradient.lean 4 declarations
- EllipticAbsorption.lean 8 declarations
- EllipticApplication.lean 6 declarations
- EllipticC1.lean 7 declarations
- EllipticCutoff.lean 64 declarations
- EllipticCutoffEdge.lean 21 declarations
- EllipticEnergy.lean 15 declarations
- EllipticGradient.lean 14 declarations
- EllipticRatio.lean 9 declarations
- EnergyCauchySchwarz.lean 3 declarations
- FiniteCapInduction.lean 6 declarations
- FiniteCapPointwise.lean 5 declarations
- FixedMetricLowerCap.lean 1 declarations
- FixedRadiusOffPulseCauchy.lean 1 declarations
- HeightCapLowData.lean 8 declarations
- IntegratedCapOverlap.lean 5 declarations
- LowerCapInduction.lean 2 declarations
- NestedCapRectangles.lean 16 declarations
- OpenCapFlowUniqueness.lean 2 declarations
- PhysicalCapTransport.lean 6 declarations
- PulseCapSeparation.lean 6 declarations
- PulseReflection.lean 10 declarations
- QPointwiseCauchyJets.lean 6 declarations
- ReflectedActualCapFlow.lean 1 declarations
- UniformOriginalDataCapEstimate.lean 2 declarations
- UpperCapMetricJets.lean 8 declarations
- UpperCapWords.lean 14 declarations
- VaryingCapInduction.lean 4 declarations
- VaryingMetricLowerCap.lean 1 declarations
- VaryingMetricUpperCap.lean 2 declarations