OAI/Probability/SKGap/Terminal/PairSpinFrequency.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.replicaOverlap_comm line 78
2. lemma OAI.SKGapCutoff.doublePlantWeight_comm line 81
3. lemma OAI.SKGapCutoff.doublePlantWeight_marginal line 85
4. lemma OAI.SKGapCutoff.doublePlantWeight_right_marginal line 98
5. lemma OAI.SKGapCutoff.doublePlantWeight_magnetization_tail line 103
6. lemma OAI.SKGapCutoff.doublePlantWeight_right_magnetization_tail line 117
7. def OAI.SKGapCutoff.pairSpinFrequency line 126
8. lemma OAI.SKGapCutoff.pairSpinFrequency_expansion line 129
9. lemma OAI.SKGapCutoff.pairSpinFrequency_deviation line 153
10. theorem OAI.SKGapCutoff.doublePlantWeight_pair_frequency_tail line 165