OAI/Analysis/VlasovMaxwell/Population/
1136 declarations, 0 contain sorry, 0 declared as axioms; 56 files
Files
- BinHits.lean 50 declarations
- BulkReceiverResidual.lean 3 declarations
- BulkReceiverScalar.lean 6 declarations
- BulkSpatialUniform.lean 6 declarations
- BulkTestWeight.lean 4 declarations
- BulkWeightCost.lean 4 declarations
- CappedRepresentativePos.lean 16 declarations
- CentralOccupation.lean 36 declarations
- ContDiffDyadicMultiFactor.lean 7 declarations
- DatumElectricFluxKernel.lean 12 declarations
- DirectExpandedAssemble.lean 5 declarations
- DirectExpandedDeficitUniform.lean 1 declarations
- DirectExpandedLargeAngular.lean 6 declarations
- DirectExpandedTransportNear.lean 4 declarations
- DirectionCounts.lean 38 declarations
- DirectionCutoffs.lean 28 declarations
- DirectionOverlap.lean 20 declarations
- DyadicBalanceConstant.lean 8 declarations
- DyadicCut.lean 45 declarations
- GoodCrossings.lean 31 declarations
- GoodSharedEstimates.lean 20 declarations
- HomogeneousCancellation.lean 15 declarations
- InitialSignedBoundaryDensity.lean 10 declarations
- LabelOccupation.lean 9 declarations
- LabelOccupationDurationMass.lean 6 declarations
- LabelWeight.lean 9 declarations
- MagneticEstimates.lean 29 declarations
- MajorantRelativeDensityTimeFar.lean 14 declarations
- MomentumDirection.lean 40 declarations
- NullConeFlux.lean 33 declarations
- PartitionOccupation.lean 32 declarations
- PhysicalBinPhaseSet.lean 33 declarations
- RadialSummation.lean 24 declarations
- ReceiverWeights.lean 39 declarations
- RelativeClosedBinHitGeometry.lean 7 declarations
- RepresentativeClosedBinSourceIndices.lean 20 declarations
- RepresentativeCosts.lean 65 declarations
- RetardedSameTimeSeparation.lean 24 declarations
- RetardedWeightedIntegralBound.lean 4 declarations
- SelectedDirection.lean 33 declarations
- SelectedReceiverWeightBoundFinite.lean 29 declarations
- SelectedRemainder.lean 14 declarations
- SelectionCounts.lean 44 declarations
- SelectionWeight.lean 27 declarations
- SharedBudget.lean 32 declarations
- SharedOccupation.lean 19 declarations
- SignedRemainder.lean 8 declarations
- SourceJointFlux.lean 9 declarations
- SourceWeightedPacket.lean 12 declarations
- SpatialEstimates.lean 37 declarations
- SphericalFluxNorm.lean 12 declarations
- SqrtBaselineClippedLength.lean 16 declarations
- TransportRemainder.lean 33 declarations
- TransportSingularBulk.lean 22 declarations
- UniformPopulation.lean 6 declarations
- UnselectedCover.lean 20 declarations