OAI/Analysis/VlasovMaxwell/Retarded/
1133 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- AffineRetardedBound.lean 3 declarations
- AngularBump.lean 12 declarations
- ArrivalConeKernelPolarNorm.lean 11 declarations
- ConeArgument.lean 39 declarations
- ConeEulerianIntegrand.lean 6 declarations
- ConeForceSplit.lean 17 declarations
- ConeKernelInterior.lean 18 declarations
- ConeMotion.lean 48 declarations
- ConeRadius.lean 106 declarations
- ConeRegularity.lean 27 declarations
- CutoffRateMajorant.lean 9 declarations
- CutoffSourceTangent.lean 39 declarations
- DirectDeficitUniform.lean 2 declarations
- DirectForce.lean 49 declarations
- DirectLargeAngularSharp.lean 10 declarations
- DirectLorentzUniform.lean 2 declarations
- DirectMixedCover.lean 7 declarations
- DirectSmallAbsolute.lean 1 declarations
- ElectricConeBoundary.lean 21 declarations
- GeneralDirectRadial.lean 14 declarations
- InitialPuncturedCone.lean 25 declarations
- MagneticBoundaryJets.lean 5 declarations
- MagneticMomentDensity.lean 8 declarations
- MagneticVolterra.lean 7 declarations
- ObservationCone.lean 11 declarations
- PhysicalAngularBound.lean 18 declarations
- PhysicalDirectTransportDensity.lean 29 declarations
- PhysicalElectricKernel.lean 15 declarations
- PhysicalProjectedRemainderDensity.lean 26 declarations
- PhysicalProjectedRemainderSourceTruncate.lean 3 declarations
- PicardKernel.lean 10 declarations
- ProjectedSourceStableFarBound.lean 8 declarations
- ReceiverQ.lean 20 declarations
- ReceiverQCLM.lean 50 declarations
- ReceiverRadialDomain.lean 11 declarations
- RetardedDifferentiation.lean 6 declarations
- RetardedMomentumForce.lean 36 declarations
- RetardedPhaseDomain.lean 49 declarations
- RetardedRadiusSeparatedClosed.lean 16 declarations
- SelectedConeTransfer.lean 11 declarations
- SourceCellLast.lean 39 declarations
- SourceField.lean 38 declarations
- SourceForceConeKernel.lean 18 declarations
- SourceKernels.lean 74 declarations
- SourceMajorant.lean 26 declarations
- SourceMajorantFamily.lean 9 declarations
- SourceVelocityProfile.lean 10 declarations
- SourceWaveSpatialIbp.lean 22 declarations
- SpaceConeDomain.lean 6 declarations
- TransportAngularCore.lean 38 declarations
- UniformDatumKernel.lean 2 declarations
- VolterraKernels.lean 45 declarations
- VolterraMajorant.lean 1 declarations