OAI/Probability/SKGap/Terminal/SpinDifferenceEnergyReplace.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.spinDifferenceEnergy_replace line 167
2. lemma OAI.SKGapCutoff.lipschitz_vector_derivativeSquare line 176
3. theorem OAI.SKGapCutoff.refreshGradient_lipschitz_short_time line 198
4. lemma OAI.SKGapCutoff.refreshInfluence_field_opNorm line 223
5. lemma OAI.SKGapCutoff.refreshVector_field_bound line 271
6. theorem OAI.SKGapCutoff.field_recipe_short_time line 287