OAI/Analysis/VlasovMaxwell/LocalPDE/
263 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- EquationsBefore.lean 33 declarations
- FiniteUniqueness.lean 15 declarations
- GeometryCutoffDeficitLogSum.lean 2 declarations
- GeometryCutoffStableLogSum.lean 2 declarations
- PicardBoundary.lean 23 declarations
- PicardBounds.lean 23 declarations
- PicardContraction.lean 22 declarations
- PicardCurvature.lean 25 declarations
- RelativeCauchyConstant.lean 13 declarations
- SlabEquations.lean 11 declarations
- SlabRHS.lean 10 declarations
- SmoothLocalExistence.lean 2 declarations
- StrongLocalExistence.lean 20 declarations
- UniformParticleDensityConstant.lean 5 declarations
- VlasovConstruction.lean 57 declarations