OAI/Analysis/CoulombRadii/Propagation/
319 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- EnsembleMoments.lean 9 declarations
- InitialDatum.lean 10 declarations
- InitialInvariant.lean 11 declarations
- InitialMesh.lean 11 declarations
- InitializationBranch.lean 17 declarations
- MaximumMollifier.lean 15 declarations
- NearActiveMaximum.lean 15 declarations
- NuclearPotential.lean 11 declarations
- NuclearPotentialSplitJoin.lean 6 declarations
- ObservationGoodGap.lean 2 declarations
- PhysicalFinitePropagation.lean 1 declarations
- PhysicalInitialPoint.lean 6 declarations
- PosteriorPropagationData.lean 5 declarations
- PropagationAverage.lean 7 declarations
- PropagationAverageAE.lean 4 declarations
- PropagationBarrierBounds.lean 16 declarations
- PropagationBarrierOffset.lean 19 declarations
- PropagationConstants.lean 6 declarations
- PropagationDatumRegularity.lean 15 declarations
- PropagationExpectedDeficit.lean 5 declarations
- PropagationMassTest.lean 6 declarations
- PropagationMaximum.lean 13 declarations
- PropagationPosteriorMass.lean 1 declarations
- PropagationPosteriorStep.lean 2 declarations
- PropagationRegularity.lean 16 declarations
- PropagationStepWeak.lean 10 declarations
- RadialMaxSplice.lean 15 declarations
- RetainedGoodEvent.lean 3 declarations
- SmoothMaximum.lean 29 declarations
- TfReaction.lean 12 declarations
- UniformScreening.lean 4 declarations
- WeakLocality.lean 7 declarations
- WeakReactionMax.lean 10 declarations