OAI/Probability/SKValue/GroundState/MainConclusions.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SKValue.scalar_value_target line 13
2. theorem OAI.SKValue.finite_gaussian_target line 17
3. lemma OAI.SKValue.IsMinimizer.ground_state_parisi_of_diffusion line 21
4. theorem OAI.SKValue.ground_state_parisi_target line 25