OAI/Analysis/BiholderTransport/Contact/
170 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- AEContacts.lean 3 declarations
- ActiveContinuationLocal.lean 3 declarations
- ActiveLocalGrowth.lean 2 declarations
- ActualEnvelopeJets.lean 2 declarations
- ActualPoleJet.lean 3 declarations
- BranchContact.lean 1 declarations
- CenterSupport.lean 4 declarations
- CenterSupportFamily.lean 6 declarations
- CompactMinty.lean 3 declarations
- ContactCharts.lean 3 declarations
- ContactCharts2.lean 1 declarations
- ContactDerivative.lean 2 declarations
- ContactImage.lean 1 declarations
- ContactJetCalculus.lean 4 declarations
- ContactPSD.lean 2 declarations
- ContactRelationChart.lean 4 declarations
- ContactSelection.lean 3 declarations
- ContactStationarity.lean 4 declarations
- CoordinateScalarSupport.lean 4 declarations
- CoordinateSupport.lean 1 declarations
- CoordinateSupportGradient.lean 3 declarations
- EnvelopePole.lean 2 declarations
- GlobalSupport.lean 9 declarations
- GraphCompact.lean 2 declarations
- GraphProjection.lean 6 declarations
- HopfSupports.lean 3 declarations
- Inner.lean 1 declarations
- IntrinsicCEMS.lean 2 declarations
- LocalCEMS.lean 1 declarations
- LocalCEMS2.lean 1 declarations
- LocalUniformTestPDE.lean 1 declarations
- LowerTestContact.lean 2 declarations
- MatchedSupports.lean 4 declarations
- MiddleExclusion.lean 23 declarations
- ModifiedActiveLowerJet.lean 2 declarations
- MovingCostSupport.lean 2 declarations
- PhaseContact.lean 3 declarations
- ProximalSelectorDerivative.lean 1 declarations
- SmoothSupportSemibound.lean 4 declarations
- SmoothTestPDE.lean 3 declarations
- Subgradient.lean 26 declarations
- SubgradientDifferential.lean 9 declarations
- SubgradientUpper.lean 2 declarations
- TestMountains.lean 1 declarations
- UpperContactIteratedDeriv.lean 1 declarations