OAI/Probability/DilutedSpin/PhysicalOverlapAverage.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DilutedSpinGlass.UniversalDictionary.physicalOverlapVariance_nonneg line 15
2. lemma OAI.DilutedSpinGlass.UniversalDictionary.physicalOverlapVariance_le_one line 22
3. def OAI.DilutedSpinGlass.UniversalDictionary.physicalOverlapAverage line 29
4. lemma OAI.DilutedSpinGlass.UniversalDictionary.physicalOverlapAverage_nonneg line 33
5. lemma OAI.DilutedSpinGlass.UniversalDictionary.physicalOverlapAverage_le_one line 38
6. lemma OAI.DilutedSpinGlass.UniversalDictionary.physicalOverlapAverage_le_marker line 43