OAI/Analysis/VlasovMaxwell/Continuation/
138 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- Bootstrap.lean 21 declarations
- DerivMovingEnergy.lean 24 declarations
- GlobalBoundaryBound.lean 6 declarations
- GlobalContinuation.lean 30 declarations
- IncrementBootstrap.lean 11 declarations
- PhysicalBinBasePrefix.lean 3 declarations
- PrefixClamp.lean 14 declarations
- PrefixMomentumForce.lean 9 declarations
- PrefixParticle.lean 14 declarations
- PrefixUniqueness.lean 3 declarations
- SlabSmoothBootstrap.lean 3 declarations