OAI/Analysis/CoulombIonization/FieldAnalysis/
904 declarations, 0 contain sorry, 0 declared as axioms; 93 files
Files
- BarrierInitialPoissonBarrier.lean 7 declarations
- BarrierNonlinearBarrier.lean 9 declarations
- BarrierNuclearBarrier.lean 9 declarations
- BarrierObservationTowerBarrier.lean 7 declarations
- BarrierTransferPoissonBarrier.lean 1 declarations
- BarrierWeakMaxBarrier.lean 15 declarations
- BoundedL1PoissonBarrier.lean 6 declarations
- CapProbabilityWeightBarrier.lean 3 declarations
- CellFieldNormalizationBarrier.lean 7 declarations
- Conditional.lean 5 declarations
- Conditional2.lean 5 declarations
- Conditional3.lean 5 declarations
- ConditionalFieldIdentity.lean 13 declarations
- ConditionalObservables.lean 6 declarations
- ConditionalShellField.lean 5 declarations
- CoreFieldPairing.lean 5 declarations
- CoreFieldRegularity.lean 12 declarations
- CoreHistoryFieldBarrier.lean 10 declarations
- CoreSubmeanSquareBarrier.lean 3 declarations
- CorrectedFieldCharge.lean 3 declarations
- CubeDensity.lean 13 declarations
- CubeRotations.lean 23 declarations
- CubeTiling.lean 31 declarations
- CubeTranslationAverage.lean 20 declarations
- DeletedFieldBudget.lean 7 declarations
- ExpandedAnnulusSmallEventIntegral.lean 2 declarations
- ExpectedPatchCenter.lean 4 declarations
- FineLocalPotential.lean 3 declarations
- FineSmearingPotential.lean 5 declarations
- FiniteMean.lean 8 declarations
- FiniteProfile.lean 5 declarations
- FreshFieldTower.lean 11 declarations
- FreshKineticBudgetBarrier.lean 2 declarations
- HardyField.lean 12 declarations
- InnerCapStatistic.lean 23 declarations
- InnerExterior.lean 6 declarations
- InnerFieldCap.lean 10 declarations
- LaplacianCompDilation.lean 8 declarations
- LinearCoulomb.lean 7 declarations
- LocalFieldBootstrapBarrier.lean 11 declarations
- LocalFieldEnvelopeBarrier.lean 7 declarations
- LocalFieldScalarBoundBarrier.lean 13 declarations
- LocalGreen.lean 1 declarations
- NeumannCounts.lean 17 declarations
- NeumannCube.lean 25 declarations
- NeumannFermions.lean 13 declarations
- NeumannGradient.lean 16 declarations
- NeumannPhysical.lean 23 declarations
- NeumannReindex.lean 18 declarations
- NeumannSine.lean 10 declarations
- NeumannWeak.lean 1 declarations
- Nonneg.lean 9 declarations
- ObservedFieldScale.lean 7 declarations
- OriginalFieldOscillationBarrier.lean 5 declarations
- OutMaximumSubmeanBarrier.lean 2 declarations
- OuterFieldMaximum.lean 11 declarations
- OwnProbabilityFieldCapBarrier.lean 5 declarations
- PatchMassSubmeanBarrier.lean 4 declarations
- PatchWeakPoisson.lean 6 declarations
- PauliMomentum.lean 21 declarations
- PhysicalGridMeasurable.lean 7 declarations
- PressureWeak.lean 8 declarations
- PuncturedGreenBarrier.lean 10 declarations
- QuantumFieldExcessBarrier.lean 7 declarations
- RadialPower.lean 35 declarations
- RetainedFieldIdentity.lean 6 declarations
- RetainedInnerMassBarrier.lean 2 declarations
- RetainedKineticLower.lean 12 declarations
- RetainedMeasurable.lean 10 declarations
- RetainedPatchDensity.lean 15 declarations
- RetainedSmear.lean 27 declarations
- RotationTrace.lean 17 declarations
- ScaledSmearPressure.lean 19 declarations
- SelectedBarrierTransferBarrier.lean 5 declarations
- ShellBiasField.lean 4 declarations
- ShellMeanStatistic.lean 14 declarations
- SmearTestRecovery.lean 12 declarations
- SphericalMeanFieldBarrier.lean 8 declarations
- ThinFieldConstantsBarrier.lean 8 declarations
- ThinFieldFeedbackBarrier.lean 8 declarations
- UnshiftedField.lean 5 declarations
- Vartheta.lean 45 declarations
- WeakExteriorDecayBarrier.lean 3 declarations
- WeakFieldLimitBarrier.lean 4 declarations
- WeakHarmonicL1Barrier.lean 4 declarations
- WeakHarmonicMean.lean 3 declarations
- WeakHarmonicOscillation.lean 2 declarations
- WeakHarmonicRegularityBarrier.lean 6 declarations
- WeakPoissonOscillationBarrier.lean 3 declarations
- WeakPositiveComparisonBarrier.lean 4 declarations
- WeightedAverage.lean 14 declarations
- WeightedCapLimitBarrier.lean 2 declarations
- dShellInnerField.lean 14 declarations