OAI/Probability/SKGap/Stability/FieldLogDet.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SKGap.field_logdet_uniform line 13
2. lemma OAI.SKGap.spinVariance_difference_norm line 50
3. lemma OAI.SKGap.dot_magnetization_sq_difference line 62
4. lemma OAI.SKGap.hessian_field_difference line 86
5. lemma OAI.SKGap.badField_neighborhood line 130