OAI/Analysis/CoulombIonization/Localization/
848 declarations, 0 contain sorry, 0 declared as axioms; 79 files
Files
- ActualPointInverseBarrier.lean 4 declarations
- ActualPosteriorCapBarrier.lean 6 declarations
- ActualTailStateCapBarrier.lean 3 declarations
- ArraySymmetry.lean 18 declarations
- BarrierConditionalBarrier.lean 9 declarations
- BarrierEventSymmetryBarrier.lean 10 declarations
- BarrierOrdinaryGlobalBarrier.lean 7 declarations
- CanonicalRealPacketBarrier.lean 13 declarations
- CoherentKinetic.lean 5 declarations
- CoherentPackets.lean 8 declarations
- CoherentRealKinetic.lean 13 declarations
- ConditionalRetainedGap.lean 13 declarations
- ConditionalSandwich.lean 8 declarations
- CoreHistoryAverageBarrier.lean 20 declarations
- CoreHistoryCoordinatesBarrier.lean 11 declarations
- CoreHistoryMassBarrier.lean 10 declarations
- CoreHistoryOutMaximumBarrier.lean 20 declarations
- CoreObservationEnsembleBarrier.lean 19 declarations
- Cut.lean 17 declarations
- CutOuterLaw.lean 14 declarations
- DyadicObservation.lean 19 declarations
- EventLawSelectedMaster.lean 1 declarations
- FermiDensity.lean 12 declarations
- FermionGradient.lean 1 declarations
- FermionL2.lean 12 declarations
- FiniteCellObservation.lean 7 declarations
- FormRawLaw.lean 20 declarations
- FreshObservedSandwichBarrier.lean 6 declarations
- FreshPosteriorSandwich.lean 4 declarations
- GridPacketRadius.lean 11 declarations
- InverseNetEventsBarrier.lean 6 declarations
- InverseObservationScaleBarrier.lean 2 declarations
- LipschitzMollifier.lean 13 declarations
- MasterExpandedAnnularQuery.lean 6 declarations
- MasterPotential.lean 10 declarations
- Observation.lean 15 declarations
- ObservationIntegral.lean 18 declarations
- ObservationLikelihood.lean 20 declarations
- ObservationScoreMoments.lean 8 declarations
- ObservationSmooth.lean 18 declarations
- ObservedAnnularCountBarrier.lean 9 declarations
- ObservedExpandedAnnular.lean 5 declarations
- ObservedInnerCap.lean 14 declarations
- ObservedPosteriorDensityBarrier.lean 8 declarations
- OrdinaryDensity.lean 13 declarations
- OriginalPosteriorKernel.lean 11 declarations
- OriginalPosteriorMomentBarrier.lean 5 declarations
- PacketCloud.lean 17 declarations
- PacketComparison.lean 8 declarations
- PacketDensity.lean 22 declarations
- PacketDensityRadius.lean 4 declarations
- PacketFourier.lean 10 declarations
- PacketInsert.lean 10 declarations
- PacketScale.lean 10 declarations
- PacketScaleControl.lean 6 declarations
- PatchCenterObservable.lean 8 declarations
- PatchLocalObservable.lean 7 declarations
- PosteriorAnnularQueryBarrier.lean 4 declarations
- PosteriorFreshTestBarrier.lean 6 declarations
- PosteriorSubmeanBarrier.lean 7 declarations
- QuantumMultiplierLaw.lean 13 declarations
- QuantumRawLaw.lean 31 declarations
- RadialPacket.lean 7 declarations
- RadialPacketBase.lean 40 declarations
- ScoreDirectional.lean 12 declarations
- SpinCorrelated.lean 4 declarations
- SpinPartialOccupationKineticLintegral.lean 2 declarations
- SqrtMultiplier.lean 7 declarations
- SubGaussianMoments.lean 12 declarations
- TailObservationEventBarrier.lean 9 declarations
- TensorRightSpinVectorAe.lean 3 declarations
- Trace.lean 20 declarations
- UniformApproximateEvent.lean 2 declarations
- UniformDyadicEvent.lean 3 declarations
- UniformEventGraph.lean 5 declarations
- UniformObservationNoiseBarrier.lean 7 declarations
- UnorderedObservations.lean 28 declarations
- UnshiftedEnsemble.lean 9 declarations
- WeightedMoments.lean 13 declarations