OAI/Probability/SKGap/Stability/ImplicitUniformControl.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGap.ImplicitSystem.uniformControlBudget line 15
2. lemma OAI.SKGap.ImplicitSystem.uniformControlBudget_nonneg line 26
3. theorem OAI.SKGap.ImplicitSystem.implicit_uniform_control line 29
4. lemma OAI.SKGapCutoff.Recipe.halfDiff_column line 128
5. lemma OAI.SKGapCutoff.Recipe.columnNorm_halfDiff line 135
6. lemma OAI.SKGapCutoff.Recipe.columnNorm_scalar_halfDiff line 141
7. lemma OAI.SKGapCutoff.Recipe.diagonal_halfDiff_columns line 148
8. lemma OAI.SKGapCutoff.Recipe.implicit_tuple_small line 163