OAI/Probability/SKGap/Localization/FiniteStartedControlGeneral.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SKGapCutoff.Recipe.finite_started_control_seeds line 20
2. def OAI.SKGapCutoff.Recipe.literalFullParameters line 103
3. def OAI.SKGapCutoff.Recipe.literalFullData line 108
4. lemma OAI.SKGapCutoff.Recipe.literalFullData_admissible line 114
5. lemma OAI.SKGapCutoff.Recipe.literalFullData_coefficientClass line 134
6. lemma OAI.SKGapCutoff.Recipe.literalFullData_initial line 142
7. theorem OAI.SKGapCutoff.Recipe.literal_full_local_family line 156