OAI/Probability/SKGap/Localization/PrimaryFiniteControl.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.SKGapCutoff.Recipe.primary_finite_controlline 16
OAI/Probability/SKGap/Localization/PrimaryFiniteControl.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.SKGapCutoff.Recipe.primary_finite_control line 16