OAI/Probability/SKGap/Matrix/RecipeNodeTrace.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGapCutoff.Recipe.OrdinaryData.nodeSourceError line 18
2. def OAI.SKGapCutoff.Recipe.OrdinaryData.nodeFieldError line 22
3. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.source_error_nodes line 28
4. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.field_error_nodes line 33
5. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.nodeSource_control line 39
6. lemma OAI.SKGapCutoff.Recipe.OrdinaryData.nodeField_control line 67
7. theorem OAI.SKGapCutoff.Recipe.OrdinaryData.derivative_error_words line 94