OAI/Probability/DilutedSpin/TowerTerminalPad.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DilutedSpinGlass.FiniteLaw.logMean_bind_point line 8
2. lemma OAI.DilutedSpinGlass.FiniteLaw.logMean_point_bind line 11
3. lemma OAI.DilutedSpinGlass.KernelTower.backwardLog_terminal_pad line 19