OAI/Probability/SKGap/Matrix/PrimaryWordControl.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGapCutoff.Recipe.PolynomialControl line 13
2. lemma OAI.SKGapCutoff.Recipe.PolynomialControl.mono line 15
3. lemma OAI.SKGapCutoff.Recipe.PolynomialControl.append line 18
4. lemma OAI.SKGapCutoff.Recipe.PolynomialControl.prepend line 23
5. lemma OAI.SKGapCutoff.Recipe.PolynomialControl.scale line 30
6. lemma OAI.SKGapCutoff.Recipe.polynomialControl_nil line 36
7. lemma OAI.SKGapCutoff.Recipe.polynomialControl_noise line 41
8. theorem OAI.SKGapCutoff.Primary.primaryTree_control line 53