OAI/Probability/SKGap/Stability/LocalImplicitNode.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Primary.derivativeMatrix_congr_on_flips line 12
2. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.implicit_source_derivative_local line 25
3. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.implicit_field_derivative_local line 36
4. theorem OAI.SKGapCutoff.Recipe.OrdinaryData.implicit_error_solved_local line 51