OAI/Probability/DilutedSpin/FiniteAnalytic.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DilutedSpinGlass.FiniteLaw.contDiffAt_expect line 11
2. lemma OAI.DilutedSpinGlass.FiniteLaw.contDiffAt_expMoment line 18
3. lemma OAI.DilutedSpinGlass.FiniteLaw.contDiffAt_logMean line 23
4. lemma OAI.DilutedSpinGlass.FiniteLaw.contDiffAt_tilt_weight line 28
5. lemma OAI.DilutedSpinGlass.KernelTower.contDiffAt_backwardLog line 38
6. lemma OAI.DilutedSpinGlass.PrescribedTree.contDiffAt_tilt_sample_weight line 52
7. lemma OAI.DilutedSpinGlass.PrescribedTree.contDiffAt_tilt_sample_expect line 71