OAI/Analysis/VlasovMaxwell/Regularity/
411 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- AbsolutelyContinuousIntervalContinuousDerivative.lean 4 declarations
- BoundaryJets.lean 18 declarations
- ContinuousIntegralSphere.lean 12 declarations
- CurvatureBounds.lean 67 declarations
- CurvatureInterpolation.lean 6 declarations
- EnergyBump.lean 65 declarations
- IntegralBallPolarFlip.lean 10 declarations
- LogSingularBound.lean 2 declarations
- LowBoundaryControl.lean 14 declarations
- MixedJets.lean 3 declarations
- MomentLimit.lean 3 declarations
- NormalisedPartialCutoff.lean 10 declarations
- ParamPrimitive.lean 53 declarations
- ParticleC1.lean 4 declarations
- PhysicalC0.lean 4 declarations
- PhysicalCutoffCoordinates.lean 14 declarations
- PhysicalGradient.lean 11 declarations
- PositiveExtension.lean 18 declarations
- RealJointEnergyBudget.lean 10 declarations
- SlabEvolutionRegularity.lean 17 declarations
- SlabL2.lean 4 declarations
- SmoothIntegral.lean 12 declarations
- SpatialJets.lean 34 declarations
- TameDerivative.lean 5 declarations
- VelocityDerivatives.lean 7 declarations
- VolterraSup.lean 2 declarations
- WithinPartial.lean 2 declarations