OAI/Probability/SKGap/Localization/LiteralRegularity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Recipe.SegmentRegular.const_mul line 16
2. lemma OAI.SKGapCutoff.Recipe.parameter_regular line 31
3. lemma OAI.SKGapCutoff.Recipe.parameter_segment_value line 43
4. lemma OAI.SKGapCutoff.Recipe.initialKernel_regular line 57
5. lemma OAI.SKGapCutoff.Recipe.initialKernel_segment_value line 66
6. def OAI.SKGapCutoff.Recipe.initialRegularBudget line 76
7. lemma OAI.SKGapCutoff.Recipe.literalInitial_regular line 81