OAI/Probability/SKGap/Stability/FieldSquareSum.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.field_square_sum_le line 80
2. lemma OAI.SKGapCutoff.one_sub_tanh_half line 95
3. lemma OAI.SKGapCutoff.one_add_tanh_half line 102
4. lemma OAI.SKGapCutoff.siteRefresh_diagonal_lower line 106
5. lemma OAI.SKGapCutoff.logistic_quadratic_lower line 131
6. lemma OAI.SKGapCutoff.attempted_holding_lower line 148