OAI/Analysis/BiholderTransport/Convexity/
81 declarations, 0 contain sorry, 0 declared as axioms; 40 files
Files
- ActualCenterSemibound.lean 2 declarations
- AlexandrovDerivative.lean 4 declarations
- BoundedConvexSecant.lean 1 declarations
- ChartJensenFirstLimit.lean 1 import, no declarations
- CompactConvexHullFinite.lean 1 declarations
- ConvexBarycentricSegment.lean 1 declarations
- ConvexNormSq.lean 1 declarations
- CoordinateSemiconvex.lean 1 declarations
- EndpointLowerJet.lean 3 declarations
- EnvelopeData.lean 6 declarations
- FamilyJensen.lean 1 declarations
- FamilySemiconvex.lean 2 declarations
- FamilyShortEnvelope.lean 1 declarations
- Fermat.lean 1 declarations
- FirstCutConvex.lean 2 declarations
- JensenAt.lean 2 declarations
- JensenAtCenter.lean 1 declarations
- JensenAtFirstLimit.lean 1 declarations
- JensenMaximum.lean 1 declarations
- JensenPackage.lean 3 declarations
- JensenPhase.lean 1 declarations
- JensenPhaseGradient.lean 2 declarations
- JensenUndoShort.lean 1 declarations
- MaximumJensen.lean 3 declarations
- MaximumJensenFamily.lean 2 declarations
- ModifiedEnvelopeRegularity.lean 4 declarations
- MovingCenterSemibound.lean 4 declarations
- ParametricSemiconvex.lean 1 declarations
- ParametricShortLowerEnvelope.lean 3 declarations
- ParametricShortLowerJets.lean 1 declarations
- ProximalProducer.lean 4 declarations
- ShortEnvelopeJetTest.lean 4 declarations
- ShortEnvelopeSemibound.lean 2 declarations
- ShortPullbackSemibound.lean 1 declarations
- SimultaneousC11Jensen.lean 2 declarations
- StrongCostConvexity.lean 1 declarations
- StrongEnvelope.lean 4 declarations
- TransformSemiconvex.lean 1 declarations
- TranslatedMinorant.lean 1 declarations
- UniformEnvelope.lean 4 declarations