OAI/Probability/SKGap/Stability/ImplicitNode.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGapCutoff.Recipe.OrdinaryData.implicitPartial line 19
2. def OAI.SKGapCutoff.Recipe.OrdinaryData.implicitCoefficient line 20
3. def OAI.SKGapCutoff.Recipe.OrdinaryData.implicitSourcePrimitive line 22
4. def OAI.SKGapCutoff.Recipe.OrdinaryData.implicitFieldPrimitive line 25
5. def OAI.SKGapCutoff.Recipe.OrdinaryData.implicitRetainedSource line 31
6. def OAI.SKGapCutoff.Recipe.OrdinaryData.implicitRetainedField line 34
7. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.mean_implicit line 38
8. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.implicit_source_derivative line 41
9. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.implicit_field_derivative line 50
10. theorem OAI.SKGapCutoff.Recipe.OrdinaryData.implicit_error_solved line 62