OAI/Analysis/VlasovMaxwell/Geometry/
368 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- ActualCutoffCoordinates.lean 8 declarations
- ActualLabelCutoffCost.lean 14 declarations
- ArrivalDomain.lean 22 declarations
- BallCutoff.lean 23 declarations
- ClippedRamp.lean 20 declarations
- ClosedBranchDomain.lean 42 declarations
- CollisionLabels.lean 27 declarations
- CrossCLM.lean 13 declarations
- CutoffState.lean 14 declarations
- DensitySecondMoment.lean 7 declarations
- IndexTwoPow.lean 5 declarations
- ParticleBySpacetime.lean 35 declarations
- ParticleTame.lean 3 declarations
- PhysicalDivision.lean 6 declarations
- PhysicalGeometryCutoffDensity.lean 8 declarations
- QuadIndexEquiv.lean 7 declarations
- RelativeAngleCoordinate.lean 18 declarations
- SelectedRemainderPhysical.lean 5 declarations
- ShiftedRho.lean 17 declarations
- SpaceDiv.lean 49 declarations
- Sphere.lean 6 declarations
- UpperTimeCut.lean 19 declarations