OAI/Analysis/CoulombIonization/Ionization/
171 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- ActualPricedParticleBound.lean 2 declarations
- ActualTFCoefficient.lean 5 declarations
- ActualUnshiftedBudget.lean 3 declarations
- ActualUpperDeficitBarrier.lean 8 declarations
- BarrierActualMeanFieldBarrier.lean 4 declarations
- BarrierInitialDeterministicBarrier.lean 8 declarations
- BarrierInitialEventBarrier.lean 8 declarations
- CoherentDerivatives.lean 4 declarations
- ConditionalPatchMinimizer.lean 2 declarations
- ConditionalPricedUpper.lean 4 declarations
- CoreHistoryFieldFubiniBarrier.lean 5 declarations
- InsertionTermsDisjointSet.lean 4 declarations
- IntegratedStability.lean 45 declarations
- IteratedReduction.lean 7 declarations
- MasterJointPosterior.lean 8 declarations
- MasterPosteriorPotential.lean 5 declarations
- MasterPotentialEvent.lean 2 declarations
- OriginalTFScale.lean 3 declarations
- PricedAnnularCountBarrier.lean 1 declarations
- PricedCoulombTail.lean 3 declarations
- PricedSelectedMaster.lean 3 declarations
- PricedSubsequence.lean 10 declarations
- PricedUpperComparison.lean 2 declarations
- PullAdjoint.lean 1 declarations
- SelectedProfileSubsequence.lean 1 declarations
- SharpEventLawJointComparisonCell.lean 5 declarations
- SharpJointComparisonBarrier.lean 3 declarations
- SpatialCapActualBarrier.lean 5 declarations
- TFPriceData.lean 10 declarations