OAI/Analysis/VlasovMaxwell/Flow/
276 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- BranchCutoffStateContinuous.lean 8 declarations
- BranchIntegral.lean 16 declarations
- ClosedEulerianCrudeBudget.lean 4 declarations
- ClosedEulerianTimeBudget.lean 13 declarations
- ExtendedLorentz.lean 36 declarations
- FlowDerivative.lean 18 declarations
- HighFlow.lean 17 declarations
- LorentzPhase.lean 12 declarations
- PhaseAcceleration.lean 24 declarations
- PhaseHits.lean 9 declarations
- PhaseTimePullback.lean 19 declarations
- TransportDifferentiation.lean 46 declarations
- WithinFlow.lean 54 declarations